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().) ~TJReceived 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