12

値をファンクターに持ち上げる関数がpureControl.Applicative で名前が付けられているのはなぜですか?

4

2 に答える 2

13

pure形容詞と考えてください。

foo <*> pure 4=純粋なfooに適用されます。4

(なぜそれが と呼ばれているのかについては、おそらくマクブライドpureとパターソンだけが知っているでしょう。)

于 2010-08-08T17:31:48.863 に答える
7

に少し似ていfromIntegerます。その引数は常に純粋な値またはファンクターにリフトされる関数です。おそらくそうすべきだったのかもしれませんfromPureが、Haskell の人々が名前を短くするのが好きなのはご存知でしょう (たとえばfst、andsndの代わりにfirstandsecondなど)。

于 2010-08-09T14:13:28.277 に答える