在控制中命名“纯函数”。应用[闭合

Question

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

Answer 1

考虑到 pure 作为形容词。

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

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

Answer 2

有点像 fromInteger. 。它的参数始终是将被提升到函子中的纯值或函数。也许应该是 fromPure 但是您知道Haskell人们喜欢缩短名称（例如 fst 和 snd 代替 first 和 second...).