23 Jul
2010
23 Jul
'10
8:36 p.m.
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.