もう2週間近く前ですがノベルゲームをリリースしました.www.freem.ne.jp反省会を兼ねてその話. 企画 前のノベルゲームをリリースしたのが2年近く前ということもあり, そろそろなんとなくノベルゲーム作りたいなと思ったこと. 諸般の事情で現実逃避先として「…

ListのT代数の非自明な射は何か？という感じの話. List Monad, T-Algebra 以下のようなmonoid free functorとforgetful functorの随伴がある: free functorは集合を自由モノイド(wordの集合, 演算は結合)に飛ばし, forgetful functorはモノイドを底集合に飛…