Nomeação da função `pure` no controle.aplicativo [fechado

Question

Por que a função de levantar um valor em um functor nomeado pure em controle.aplicativo?

Answer 1

Imagine pure como um adjetivo.

foo <*> pure 4 = foo aplicado em a puro valor 4.

(Quanto ao exato razão Por que é chamado pure, provavelmente apenas McBride e Paterson saberão.)

Answer 2

É um pouco como fromInteger. Seu argumento é sempre um valor ou função pura que será levantada para o functor. Talvez deva ter sido fromPure Mas você sabe como as pessoas Haskell adoram encurtar os nomes (por exemplo fst e snd ao invés de first e second...).