在Control.Applicative中命名`pure`函数

Question

为什么将值提取到pureControl.Applicative中命名的仿函数？

Answer 1

想象pure一个形容词.

foo <*> pure 4= foo应用于纯值4.

(至于它被称为的确切原因pure,可能只有McBride和Paterson会知道.)

Answer 2

这有点像fromInteger.它的论证总是一个纯粹的价值或功能,将被提升到仿函数.也许,它应该是fromPure,但你知道Haskell的人爱怎么缩短的名称(如fst和snd而不是first和second...).