projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
0a348c4
)
edits
author
Chris
<chris.barker@nyu.edu>
Tue, 12 May 2015 13:40:05 +0000
(09:40 -0400)
committer
Chris
<chris.barker@nyu.edu>
Tue, 12 May 2015 13:40:05 +0000
(09:40 -0400)
topics/_week15_continuation_applications.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week15_continuation_applications.mdwn
b/topics/_week15_continuation_applications.mdwn
index
6eeaf8f
..
ffe10ba
100644
(file)
--- a/
topics/_week15_continuation_applications.mdwn
+++ b/
topics/_week15_continuation_applications.mdwn
@@
-413,6
+413,16
@@
operator:
Not a monad (Wadler); would be if the types were
Neverthless, obeys the monad laws.
Not a monad (Wadler); would be if the types were
Neverthless, obeys the monad laws.
+Oh, one more thing: because natural language allows the functor to be
+on the left or on the right, we replace the type arrow -> with a
+left-leaning version \ and a right-leaning version, as follows:
+
+ α/β β = α
+ β β\α = α
+
+This means we need two versions of ¢ too (see Barker and Shan 2014
+chapter 1 for full details).
+
This is (almost) all we need to get some significant linguistic work
done.
This is (almost) all we need to get some significant linguistic work
done.