yuk1tyd https://blog.hatena.ne.jp/yuk1tyd/ Don't Repeat Yourself https://blog-dry.com/ 関数型プログラミング言語を触っていると，「モナド」という言葉が登場します．関数型プログラミングの文脈でのモナドは，圏論という数学の一分野が元ネタです．しかし，モナドにはさらに元ネタがいます．高校の倫理をやった方は，聞き覚えがあるかもしれません．そうです．ライプニッツです*1． 私は圏論の論文を一切読んだことがなく，Wikipedia 情報でしか知りませんが，どうやらソンダース・マックレーンという人がライプニッツのモナドを借用して命名したのがこの，圏論のモナドなのだそうです． 当初は圏論の勉強をしてからライプニッツのモナドの記事を書いてみたいなと思っていました．しかし，案の定数学の素養が足りず，… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog-dry.com%2Fentry%2F2018%2F09%2F17%2F152405" title="ライプニッツのモナド (1) - Don&#39;t Repeat Yourself" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/41ZF9F2X75L._SL160_.jpg Hatena Blog https://hatena.blog 2018-09-17 15:24:05 rich https://blog-dry.com/entry/2018/09/17/152405 1.0 100%