Наименование `Pure` Функция в управлении. Паблика [Закрыто

Question

Почему функция для подъема значения в функтор имени pure Под контролем. Пабликоподобный?

Answer 1

Думать о pure как прилагательное.

foo <*> pure 4 = foo применяется на А. чистый стоимость 4.

(Как для точного причина Почему это называется pure, вероятно, только МакБрид и Патерсон узнают.)

Answer 2

Это немного похоже fromInteger. Отказ Его аргумент всегда является чистым значением или функцией, которая будет поднята в функтор. Возможно, это должно было быть fromPure Но вы знаете, как Haskell люди любят сокращать имена (например, fst а также snd вместо first а также second...).