21/11/17 06:46:33.09 4zMdVbrs.net
より抽象度の高い方であるApplicativeのpureを生かすのは
私はごく自然に感じるけど
mappendと<>も機能的にダブってるから
将来Monoidからmappendが消えるよって
Monoidのドキュメントに書いてあるけど
もしかしてそれも疑問だったりする？
Semigroupの方から<>を消して、
Monoidのmappendを残すんじゃダメなの？ って
21/11/17 06:46:33.09 4zMdVbrs.net
より抽象度の高い方であるApplicativeのpureを生かすのは
私はごく自然に感じるけど
mappendと<>も機能的にダブってるから
将来Monoidからmappendが消えるよって
Monoidのドキュメントに書いてあるけど
もしかしてそれも疑問だったりする？
Semigroupの方から<>を消して、
Monoidのmappendを残すんじゃダメなの？ って