X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=ab0138dd7da5a91c761010e5cbe22a3ebf6d6127;hp=3de683b357dee306f802d694341e0089f6ccffc1;hb=9f726012281445f2c4030003674a2e942a753db6;hpb=675da548c7c9dc6963dd7d08fdaa3c17516c78bf diff --git a/index.mdwn b/index.mdwn index 3de683b3..ab0138dd 100644 --- a/index.mdwn +++ b/index.mdwn @@ -155,7 +155,7 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday); (**Week 7**) Thursday March 12 -Many of these were updated or first posted on Mon 23 March. +> *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]] @@ -163,10 +163,16 @@ Many of these were updated or first posted on Mon 23 March. (**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]]; [[Ramble on Monads and Modules|topics/week8_monads_and_modules]] + +(**Week 9**) Thursday April 2 + +> Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. The major change is to make the Monad libraries easier to use. Now you can just use `Monad.Reader(struct type env = ... end)`; you don't need to furthermore ask for the `M` submodule of that generated module. Relatedly, the `List` and `Monad.List` modules are now different; the former has lots of list-related functions and the latter only the monadic interface. Similarly for `Option` and `Monad.Option`. + +> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together +