貧乏礼賛をしているわけではないと断っておきますが、とかく貧乏な生活を送っています。 バイトを始めたものの、食費で帳消しになりそうなほどの勢いです。 現在も家計簿をつけてはいますが、より細やかに、レシートのない出費（こちらのが多いかもしれない…

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