Table of Contents 1. Widget型 1.1. 直和と直積 2. 内部状態 3. Widget Operation 4. 継承、合併 5. 関係ないけれど 6. おわりに 今現在Haskellを使ってゲームを作っていて、そこで「オブジェクト」的なものが欲しくなってあれこれした結果を説明として残し…

ようやく本質的な進捗が生まれ始めていて嬉しい 進捗報告 設計 前回異様に苦しんでいた設計問題はめでたく解決し、ちゃんと進捗しつつあってよい 結論だけ言うと newtype W = W (forall (m:Monad) x. Union xs m x -> br W (m x)) の形の型を使っている。 再…