4 ms·
> Lifting is when you take a value and put it into an object like a functor. It should probably say: > Lifting is when you take a function and make a version
by spion 9y ago
> Lifting is when you take a value and put it into an object like a functor.
It should probably say:
> Lifting is when you take a function and make a version of it that operates on functors / applicatives.
- jethrolarson 9y agoI don't think this is strictly true. Sure there's liftA2 that does that but as a general concept, you can lift things of various kinds into a monad (or other thing like that). For example, `pure`/`return` (`of` in fantasy-land) lifts a value into an applicative/monad. I'm not sure if lifting is just application of a coalgebra but I'm still learning too. :)
- spion 9y agoAFAIK lifting is informal and specifically refers to lifting functions. Confusion arises when this is accomplished via Applicative which... erm "lifts" currying itself.