From: Jim Pryor Date: Mon, 1 Nov 2010 15:49:53 +0000 (-0400) Subject: comment re 'intensionality monad' X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f879a647e289a67b992caaafd497910259a81040;hp=-c;ds=sidebyside comment re 'intensionality monad' Signed-off-by: Jim Pryor --- f879a647e289a67b992caaafd497910259a81040 diff --git a/intensionality_monad.mdwn b/intensionality_monad.mdwn index e228e244..36a0cddd 100644 --- a/intensionality_monad.mdwn +++ b/intensionality_monad.mdwn @@ -1,20 +1,19 @@ -The intensionality monad ------------------------- -In the meantime, we'll look at several linguistic applications for monads, based -on - -what's called the *reader monad*. -... -intensional function application. In Shan (2001) [Monads for natural +The "intensionality" monad +-------------------------- + +Now we'll look at using monads to do intensional function application. +This really is just another application of the reader monad, not a new monad. +In Shan (2001) [Monads for natural language semantics](http://arxiv.org/abs/cs/0205026v1), Ken shows that -making expressions sensitive to the world of evaluation is -conceptually the same thing as making use of a *reader monad* (which -we'll see again soon). This technique was beautifully re-invented +making expressions sensitive to the world of evaluation is conceptually +the same thing as making use of the reader monad. +This technique was beautifully re-invented by Ben-Avi and Winter (2007) in their paper [A modular approach to intensionality](http://parles.upf.es/glif/pub/sub11/individual/bena_wint.pdf), though without explicitly using monads. + All of the code in the discussion below can be found here: [[intensionality-monad.ml]]. To run it, download the file, start OCaml, and say