author Chris Barker Sat, 27 Nov 2010 04:59:49 +0000 (23:59 -0500) committer Chris Barker Sat, 27 Nov 2010 04:59:49 +0000 (23:59 -0500)

index f0a252e..a2603db 100644 (file)
@@ -245,7 +245,7 @@ Ta da!

To bad this digression, though it ties together various
elements of the course, has *no relevance whatsoever* to the topic of

To bad this digression, though it ties together various
elements of the course, has *no relevance whatsoever* to the topic of
-continuations.
+continuations...

Montague's PTQ treatment of DPs as generalized quantifiers
----------------------------------------------------------

Montague's PTQ treatment of DPs as generalized quantifiers
----------------------------------------------------------
@@ -271,10 +271,12 @@ the bind follow naturally.  We've done this enough times that we won't
belabor the construction of the bind function, the derivation is
similar to the List monad just given:

belabor the construction of the bind function, the derivation is
similar to the List monad just given:

-   type 'a continuation = ('a -> 'b) -> 'b
-   c_unit (x:'a) = fun (p:'a -> 'b) -> p x
-   c_bind (u:('a -> 'b) -> 'b) (f: 'a -> ('c -> 'd) -> 'd): ('c -> 'd) -> 'd =
-     fun (k:'a -> 'b) -> u (fun (x:'a) -> f x k)
+<pre>
+type 'a continuation = ('a -> 'b) -> 'b
+c_unit (x:'a) = fun (p:'a -> 'b) -> p x
+c_bind (u:('a -> 'b) -> 'b) (f: 'a -> ('c -> 'd) -> 'd): ('c -> 'd) -> 'd =
+fun (k:'a -> 'b) -> u (fun (x:'a) -> f x k)
+</pre>

How similar is it to the List monad?  Let's examine the type
constructor and the terms from the list monad derived above:

How similar is it to the List monad?  Let's examine the type
constructor and the terms from the list monad derived above: