X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week9.mdwn;h=ba99a79fd04d21d027cc9c61ae23536f5f0ce164;hp=4e334a03d327df44f2bffc4ccb8c54f1131ec3bc;hb=6a45c3860fc064728f0fa65fd7b2869f48f49878;hpb=33f70d05dd59fde970ffae4c958f218911435787 diff --git a/week9.mdwn b/week9.mdwn index 4e334a03..ba99a79f 100644 --- a/week9.mdwn +++ b/week9.mdwn @@ -370,7 +370,7 @@ Here's how to implement these. We'll suppose that our assignment function is lis in eval expr2 g s'' -##How to implicit mutation with a State monad## +##How to implement mutation with a State monad## It's possible to do all of this monadically, and so using a language's existing resources, instead of adding new syntactic forms and new interpretation rules to the semantics. The patterns we use to do this in fact closely mirror the machinery described above.