From 38a13c77d1e5274837ffcc8010f3447ddcaeb5d1 Mon Sep 17 00:00:00 2001 From: chris Date: Mon, 16 Mar 2015 10:26:37 -0400 Subject: [PATCH] --- topics/_week6_plexy.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/topics/_week6_plexy.mdwn b/topics/_week6_plexy.mdwn index 897dc8ec..d58f027a 100644 --- a/topics/_week6_plexy.mdwn +++ b/topics/_week6_plexy.mdwn @@ -1,5 +1,5 @@ -Motivating types; motivating the Maybe monad -============================================ +Motivating types; our first glimpse of the Maybe monad +====================================================== In [[a long footnote discussing Russell|readings/kaplan-plexy.pdf]], Kaplan 1989:496 poses a problem for the interaction of structured @@ -92,7 +92,7 @@ directly-referential expressions: {} if there is no object that E refers to, or else {P} if E refers to P -In later weeks, we will call this technique the Maybe monad. +In later weeks, we will call the general form of this technique the Maybe type, and the general strategy for deploying this type the Maybe monad. Kaplan, D. 1989. "Demonstratives. InJ. Almog, J. Perry, & H. Wettstein -- 2.11.0