haskell - Control.Applicative 中“纯”函数的命名

Question

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

Answer 1

认为pure是一个形容词。

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

（至于为什么叫它的确切原因pure，可能只有麦克布赖德和帕特森知道。）

Answer 2

有点像fromInteger。它的参数始终是一个纯值或函数，将被提升到函子中。也许它应该是fromPure，但你知道 Haskell 人是多么喜欢缩短名字（例如fstandsnd而不是firstand second...）。