jyukutyo https://blog.hatena.ne.jp/jyukutyo/ Fight the Future https://www.sakatakoichi.com/ programming One Div Zero: Monads are Elephants Part 3の翻訳続き。 The First Monad Law: Identity(第一のモナド則：同一性) The first and simplest of the monad laws is the monad identity lawモナド則の最初の、そしてもっとも単純な法則はモナドの同一性の法則です。 M1. m flatMap unit ≡ m // or equivalently M1a. m flatMap {x => unit(x)} ≡ m Where the connector law connect… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.sakatakoichi.com%2Fentry%2F20081107%2F1226044525" title="モナドについて調べていく(19) - Fight the Future" 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 2008-11-08 09:55:25 rich https://www.sakatakoichi.com/entry/20081107/1226044525 1.0 100%