使うとモナドを実現しやすくなります。モナドは以下のように定義できます。IQ145の女子高校生の先輩から受けた特訓5日間ラノベ風に関数型プログラミングの考え方を説く本です。命令型プログラミングで凝り固まった概念を、アラン・ケイのみならず、プラトンやデカルト、スピノザまで用いて、これでもかというぐらい哲学的思想をもってひっくり返そうとしている姿勢はまさに力作と思います。出て間もない時代の本なので、今と時代があっていない話もあったり、実装のノウハウを得たいという人にとってはこの本は力不足なので、後述の「関数型プログラミングの基礎」や「なっとく!関数型プログラミング」を併読するのをお勧めします。「関数型プログラミングに目覚めた!」が概念を捉えるための本ならば、本書は実装の基礎を築くための本です(余談ですが、本書でもデカルトが出てきます)。使って教示しているため、実装ノウハウを根本から鍛えられます。副作用を参照透過性を持ったまま扱える「モナド」の考え方や作り方も教示しています。使えば、この弱点は克服できると考えています。積極的に募集をしています。ご興味を持っていただけましたら是非ご覧ください。副作用があるものと考えます*6:プロセカで例えると、登場人物が持っているスマートフォンがそれに相当します。読者になる関連記事2024-04-11プログラマー初心者の壁「再帰処理」を実装しながら理解してみたこんにちは。決済認証システム開発事業部の松浦と申します。