Думайте о чистом
как о прилагательном.
foo <*> pure 4
= foo
, примененный к чистому значению 4
.
(Что касается точной причины , почему он называется чистым
, вероятно, только Макбрайд и Патерсон будут знать.)
Это немного похоже на fromInteger
. Его аргумент всегда является чистым значением или функцией, которая будет перенесена в функтор. Возможно, это должно было быть fromPure
, но вы знаете, как люди Haskell любят сокращать имена (например, fst
и snd
вместо first
и секунда
...).