wafuwafu13 https://blog.hatena.ne.jp/wafuwafu13/ 経験は何よりも饒舌 https://wafuwafu13.hatenadiary.com/ 関数型 wafuwafu13.hatenadiary.comと同じ本の、p.268~p.274あたりでつまずいたので、メモを残しておく。 コードはここにおいてある。 akimichi.github.ioモナドの機能は、「値にコンテキストを付加すること」、「コンテキストを付加したまま処理を合成すること」である。 unit関数は、モナドのインスタンスを生成するための関数で、unit:: T => M[T]という型情報を持つ。 Tはモナドに渡される値の型であり、Mはモナドの型である。 flatMap関数は、処理を合成するための関数で、flatMap:: M[T] => FUN[T => M[S]] => M… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwafuwafu13.hatenadiary.com%2Fentry%2F2021%2F01%2F26%2F122514" title="「関数型プログラミングの基礎」モナドを作るを理解する - 経験は何よりも饒舌" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-01-26 12:25:14 rich https://wafuwafu13.hatenadiary.com/entry/2021/01/26/122514 1.0 100%