NAMING OF `Pure` Function in Control.Applicative [chiuso

Question

Perché la funzione per sollevare un valore in un functor denominata pure in controllo. Applicativo?

Answer 1

Pensa a pure come aggettivo.

foo <*> pure 4 = foo applicato su a puro valore 4.

(Per quanto riguarda l'esatto Motivo Perché si chiama pure, probabilmente solo McBride e Paterson lo sapranno.)

Answer 2

È un po 'come fromInteger. Il suo argomento è sempre un valore o una funzione puro che verrà sollevato nel funtor. Forse avrebbe dovuto essere fromPure Ma sai come le persone Haskell amano abbreviare i nomi (ad es. fst e snd invece di first e second...).