Control.Applicative [閉じた]における「純粋な」関数の命名

Question

なぜ値をfurthing for for for for for for for for for for for in a functorに名前が付けます pure control.applicative？

Answer 1

のことを考える pure 形容詞として。

foo <*> pure 4 = foo aに適用されます ピュア 価値 4.

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

Answer 2

少し似ています fromInteger. 。その議論は、常に純粋な価値または機能であり、ファンチャーに持ち込まれます。おそらくそうあるべきだった fromPure しかし、あなたはHaskellの人々が名前を短くするのが好きな方法を知っています（例： fst と snd それ以外の first と second...).