関数型プログラミング言語Haskell Part33

[944 デフォルトの名無しさん 2021/11/15(月) 02:14:35.96 ID:jBQU3T8q]

>>943
Applicativeクラスにpure関数があるから。
Monad則やApplicative則を満たしてるなら、
まず間違いなく pure = return だから片方で充分。

それにreturnって名前があまりに実態とかけ離れてるしね。