状態管理のモデル案: spawn/killモデルの実装を作ってみた。 worldsパッケージがそれだ(露骨な名前だが赦してほしい)。前の記事と違う点は、Worldがモナド変換子として実装されている点だけである。 worlds-exampleは画面内のキャラクターを方向キーで操作す…

生と死のあるアクターを表現するためのモデルについて考えた(あくまで個人用メモ)。 以下の型変数sは世界の一意性、閉鎖性を表す。生命や名前を勝手に外に持ち出すことを防ぐために必要。 Life m a: 生命を表す型。aは生命の最終結果。 Name s a: 生命に与え…