Why is the function for lifting a value into a functor named pure
in Control.Applicative?
Think of pure
as an adjective.
foo <*> pure 4
= foo
applied on a pure value 4
.
(As for the exact reason why it's called pure
, probably only McBride and Paterson will know.)
It's a little like fromInteger
. Its argument is always a pure value or function that will be lifted into the functor. Perhaps it should have been fromPure
but you know how Haskell people love to shorten names (e.g. fst
and snd
instead of first
and second
...).
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With