X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week10.mdwn;h=1d7e3ec78f65beffe9b739b6dce2b12434b8a98f;hp=79831cb519253362a03c4533c90b7643e4e2fcbd;hb=e948c27044f69962483a6c62a8568b84acd5be85;hpb=3f86acbea2b0d3b8bcaf3e6d543d88b3fee79469 diff --git a/week10.mdwn b/week10.mdwn index 79831cb5..1d7e3ec7 100644 --- a/week10.mdwn +++ b/week10.mdwn @@ -1,6 +1,6 @@ [[!toc]] -In class on November 22, we just reviewed mutation and aliasing, especially in relation to the Groenendijk, Stockhof and Veltman paper. Below, we bring in more material. This takes the form of making gradual improvements to the calculator we developed in [week7](/reader_monad_for_variable_binding). Part of what we do below is a review of the mutation techniques developed in [[Week9]]; but we also do other things we haven't discussed in class, like defining new complex functions in our calculator. +In class on November 22, we just reviewed mutation and aliasing, especially in relation to the Groenendijk, Stokhof and Veltman paper. Below, we bring in more material. This takes the form of making gradual improvements to the calculator we developed in [week7](/reader_monad_for_variable_binding). Part of what we do below is a review of the mutation techniques developed in [[Week9]]; but we also do other things we haven't discussed in class, like defining new complex functions in our calculator. ##Original Calculator##