X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=333f362eebc57d03a776409a4c12828c15a33dfc;hp=0c32f1f9e2b061f8b4168cc518e5143c32b0e032;hb=2790828eae4e8144361e3f8ba230c4db07efd9e2;hpb=78224e38c4180c85570589e3c9fabfe1fde5365e diff --git a/index.mdwn b/index.mdwn index 0c32f1f9..333f362e 100644 --- a/index.mdwn +++ b/index.mdwn @@ -155,13 +155,29 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday); (**Week 7**) Thursday March 12 -> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Lambda evaluator; [[Introducing Monads|topics/week7_introducing_monads]] (updated Mon 23 Mar); [[Homework|exercises/assignment7]] +> *Many of these were updated or first posted on Mon 23 March.* + +> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; [[Introducing Monads|topics/week7_introducing_monads]]; [[Homework|exercises/assignment7]]; [[Environments and Closures|topics/week7_environments_and_closures]]; [[Untyped lambda evaluator|topics/week7_untyped_evaluator]] > We posted answers to [[Week 4's homework|exercises/assignment4_answers]] and [[Week 5-6's homework|exercises/assignment5_answers]]. (**Week 8**) Thursday March 26 -> Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]] +> Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]]; [[Long but useful ramble|topics/week8_ramble]] + +(**Week 9**) Thursday April 2 +> Topics: Programming with mutable state; the State monad; using multiple monads together + +> Here are some OCaml libraries: [[Juli8|code/juli8.ml]] and [[Monad|code/monad.ml]]. We'll write up explanations of these soon. But quickly, before you `#use "juli8.ml"`, you have to run this in your OCaml session. (I have these lines in my `~/.ocamlinit` file, so they run every time OCaml starts up: + +> #load "str.cma";; +> module Std = struct +> include Pervasives +> module List = List +> module Random = Random +> module String = String +> end +