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