projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7bccfae
)
move hint
author
Chris Barker
<barker@omega.(none)>
Tue, 2 Nov 2010 02:41:30 +0000
(22:41 -0400)
committer
Chris Barker
<barker@omega.(none)>
Tue, 2 Nov 2010 02:41:30 +0000
(22:41 -0400)
week7.mdwn
patch
|
blob
|
history
diff --git
a/week7.mdwn
b/week7.mdwn
index
79983c3
..
0e9f25e
100644
(file)
--- a/
week7.mdwn
+++ b/
week7.mdwn
@@
-457,7
+457,7
@@
presented here, a monad is not exactly a monoid, because (unlike the
arguments of a monoid operation) the two arguments of the bind are of
different types. But it's possible to make the connection between
monads and monoids much closer. This is discussed in [Monads in Category
arguments of a monoid operation) the two arguments of the bind are of
different types. But it's possible to make the connection between
monads and monoids much closer. This is discussed in [Monads in Category
-Theory](/advanced_
note
s/monads_in_category_theory).
+Theory](/advanced_
topic
s/monads_in_category_theory).
See also <http://www.haskell.org/haskellwiki/Monad_Laws>.
Here are some papers that introduced monads into functional programming:
See also <http://www.haskell.org/haskellwiki/Monad_Laws>.
Here are some papers that introduced monads into functional programming: