[Haskell-cafe] Heavy lift-ing

Alexander Solla ajs at 2piix.com
Fri Jul 23 20:36:10 EDT 2010

On Jul 23, 2010, at 4:35 PM, michael rice wrote:

> Why is it called "lift"-ing?

Basically, because mathematicians like enlightening metaphors.  It is  
a mathematical term.

A "monadic value" has an "underlying" value.  To turn a function that  
works on the underlying value into one that works on a monadic value,  
you have to lift it.

More information about the Haskell-Cafe mailing list