W3C home > Mailing lists > Public > public-script-coord@w3.org > April to June 2013

Re: A Challenge Problem for Promise Designers

From: Tab Atkins Jr. <jackalmage@gmail.com>
Date: Sat, 27 Apr 2013 10:09:24 -0700
Message-ID: <CAAWBYDB_548mOMvMk6LH4=nyNv0drGUORxDZ+qJ2Wik0mr-e-w@mail.gmail.com>
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().)

Received on Saturday, 27 April 2013 17:10:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:13 UTC