Именование "чистой" функции в Control .Applicative [closed]

11
задан Martijn Pieters 6 March 2015 в 17:17
поделиться

2 ответа

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

foo <*> pure 4 = foo , примененный к чистому значению 4 .

(Что касается точной причины , почему он называется чистым , вероятно, только Макбрайд и Патерсон будут знать.)

12
ответ дан 3 December 2019 в 06:44
поделиться

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

6
ответ дан 3 December 2019 в 06:44
поделиться
Другие вопросы по тегам:

Похожие вопросы: