値をファンクターに持ち上げる関数がpure
Control.Applicative で名前が付けられているのはなぜですか?
質問する
380 次
2 に答える
13
pure
形容詞と考えてください。
foo <*> pure 4
=純粋な値foo
に適用されます。4
(なぜそれが と呼ばれているのかについては、おそらくマクブライドpure
とパターソンだけが知っているでしょう。)
于 2010-08-08T17:31:48.863 に答える
7
に少し似ていfromInteger
ます。その引数は常に純粋な値またはファンクターにリフトされる関数です。おそらくそうすべきだったのかもしれませんfromPure
が、Haskell の人々が名前を短くするのが好きなのはご存知でしょう (たとえばfst
、andsnd
の代わりにfirst
andsecond
など)。
于 2010-08-09T14:13:28.277 に答える