Windymelt https://blog.hatena.ne.jp/Windymelt/ Lambdaカクテル https://blog.3qe.us/ haskell monad Freeモナドを見ていたら、これってどこかで見た事があるような気がする...そう！不動点コンビネータです！！！ Freeモナド： Free f a := Pure a | Free (f (Free f a)) 不動点コンビネータ： Fix f := f(Fix f) FreeやFixが内容を包む形になっていますね。ちょっと生半可な知識で調べてみたところ以下にような事がわかりました。FreeとFixの違いについて。 ・Freeは>>=による自然な拡張が行えるがFixにはできない（面倒） ・FreeはPureの存在により終点が必ず存在することが保証されるがFixの場合そうではない（Fix(ide… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.3qe.us%2Fentry%2F20130725%2F1374765384" title="Freeモナドと不動点コンビネータ - Lambdaカクテル" 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 2013-07-25 00:16:24 rich https://blog.3qe.us/entry/20130725/1374765384 1.0 100%