projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
cb9c659
)
edits
author
Chris
<chris.barker@nyu.edu>
Mon, 16 Mar 2015 16:19:30 +0000
(12:19 -0400)
committer
Chris
<chris.barker@nyu.edu>
Mon, 16 Mar 2015 16:19:30 +0000
(12:19 -0400)
topics/_week7_monads.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week7_monads.mdwn
b/topics/_week7_monads.mdwn
index
3f2955e
..
da0b008
100644
(file)
--- a/
topics/_week7_monads.mdwn
+++ b/
topics/_week7_monads.mdwn
@@
-48,27
+48,23
@@
We'll often write box types as a box containing the value of the free
type variable. So if our box type is `α List`, and `α == Int`, we
would write
type variable. So if our box type is `α List`, and `α == Int`, we
would write
-<
table border=2px><td>Int</td></table
>
+<
u>Int</u
>
for the type of a boxed Int.
At the most general level, we'll talk about *Kleisli arrows*:
for the type of a boxed Int.
At the most general level, we'll talk about *Kleisli arrows*:
-P -> <
table border=2px><td>Q</td></table
>
+P -> <
u>Q</u
>
A Kleisli arrow is the type of a function from objects of type P to
objects of type box Q, for some choice of type expressions P and Q.
For instance, the following are arrows:
A Kleisli arrow is the type of a function from objects of type P to
objects of type box Q, for some choice of type expressions P and Q.
For instance, the following are arrows:
-Int -> <
table border=2px><td>Bool</td></table
>
+Int -> <
u>Bool</u
>
-Int List -> <
table border=2px><td>Int List</td></table
>
+Int List -> <
u>Int List</u
>
Note that the left-hand schema can itself be a boxed type. That is,
if `α List` is our box type, we can write the second arrow as
Note that the left-hand schema can itself be a boxed type. That is,
if `α List` is our box type, we can write the second arrow as
-<table border=2px><td>Int</td></table>
-->
-<table border=2px><td><table
-border=2px><td>Int</td></table></td></table>
-
+<u>Int</u> -> <u><u>Int</u></u>