为什么在Control.Applicative中将值提升到名为pure
的函数中?
发布于 2010-08-09 01:31:49
把pure
想象成一个形容词。
foo <*> pure 4
= foo
应用于纯值4
。
(至于它叫pure
的确切原因,可能只有McBride和帕特森知道。)
发布于 2010-08-09 22:13:28
它有点像fromInteger
。它的参数总是一个将被提升到函数器中的纯值或函数。也许它应该是fromPure
,但你知道Haskell的人有多喜欢缩短名字(例如,fst
和snd
而不是first
和second
…)。
https://stackoverflow.com/questions/3435308
复制相似问题