projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
cc9bbc1
)
(no commit message)
author
barker
<barker@web>
Tue, 24 Aug 2010 00:14:31 +0000
(20:14 -0400)
committer
Lambda Wiki
<lambda@SERVER.PHILOSOPHY.FAS.NYU.EDU>
Tue, 24 Aug 2010 00:14:31 +0000
(20:14 -0400)
schedule_of_topics.mdwn
patch
|
blob
|
history
diff --git
a/schedule_of_topics.mdwn
b/schedule_of_topics.mdwn
index
883c648
..
ca49980
100644
(file)
--- a/
schedule_of_topics.mdwn
+++ b/
schedule_of_topics.mdwn
@@
-71,7
+71,7
@@
This is very sketchy at this point, but it should give a sense of our intended s
## Side-effects and mutation ##
1. What difference imperativity makes
## Side-effects and mutation ##
1. What difference imperativity makes
-2. Monads we've already seen, and the "monadic laws"
(computer science version
)
+2. Monads we've already seen, and the "monadic laws"
[computer science version: Wadler](http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
)
3. Side-effects in a purely functional setting, via monads
4. The basis of monads in category theory
5. Other interesting monads: reader monad, continuation monad
3. Side-effects in a purely functional setting, via monads
4. The basis of monads in category theory
5. Other interesting monads: reader monad, continuation monad