haskell - Control.Applicative での `pure` 関数の命名

Question

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

Answer 1

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

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

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

Answer 2

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