- From: Tab Atkins Jr. <jackalmage@gmail.com>
- Date: Sat, 27 Apr 2013 10:09:24 -0700
- To: "Mark S. Miller" <erights@google.com>
- Cc: David Sheets <kosmo.zb@gmail.com>, Ron Buckton <rbuckton@chronicles.org>, David Bruant <bruant.d@gmail.com>, es-discuss <es-discuss@mozilla.org>, "public-script-coord@w3.org" <public-script-coord@w3.org>, Mark Miller <erights@gmail.com>, Dean Tribble <tribble@e-dean.com>
On Sat, Apr 27, 2013 at 10:05 AM, Mark S. Miller <erights@google.com> wrote: > Are you distinguishing "autolifting" vs "lifting"? If so, why do you think > it is important or desirable to provide a lifting operation (as opposed to > an autolifting operation)? Because the "lifting" operation is the monadic lifting operation, which you need if you want to write monadic code that works predictably. If all you have is an auto-lifter, your code will randomly fail sometimes in mysterious ways, because you're violating the monad laws. (In a distinct, though thematically similar, way to how your code sometimes mysteriously fails if you use the Array constructor instead of Array.of().) ~TJ
Received on Saturday, 27 April 2013 17:10:11 UTC