21/11/15 02:14:35.96 jBQU3T8q.net
>>958
Applicativeクラスにpure関数があるから。
Monad則やApplicative則を満たしてるなら、
まず間違いなく pure = return だから片方で充分。
それにreturnって名前があまりに実態とかけ離れてるしね。
21/11/15 02:14:35.96 jBQU3T8q.net
>>958
Applicativeクラスにpure関数があるから。
Monad則やApplicative則を満たしてるなら、
まず間違いなく pure = return だから片方で充分。
それにreturnって名前があまりに実態とかけ離れてるしね。