Lambdaカクテル

Common LISPが好きなWeb屋さんです 自宅サーバやフロントエンドもできます

haskell

Freeモナドと不動点コンビネータ

Freeモナドを見ていたら、これってどこかで見た事があるような気がする...そう!不動点コンビネータです!!! Freeモナド: Free f a := Pure a | Free (f (Free f a)) 不動点コンビネータ: Fix f := f(Fix f) FreeやFixが内容を包む形になっていますね。…