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

Question

为什么在Control.Applicative中将值提升到名为pure的函数中？

Answer 1

把pure想象成一个形容词。

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

(至于它叫pure的确切原因，可能只有McBride和帕特森知道。)

Answer 2

它有点像fromInteger。它的参数总是一个将被提升到函数器中的纯值或函数。也许它应该是fromPure，但你知道Haskell的人有多喜欢缩短名字(例如，fst和snd而不是first和second…)。