双代数と双モノイド - 檜山正幸のキマイラ飼育記 両モナドのアイレンベルク／ムーア構成 - 檜山正幸のキマイラ飼育記

x, yがレコード、n, mが名前のとき、 x >>+ y は、左優先のマージ x + x +++ y は、排他的公平なマージ、エラーの可能性あり !x は、xのレイフィケーション、結果はインスタンスである。フィールドの型が値ロールで解釈される。 x.n でフィールドを参照でき…

名前管理の単位をモジュールとパッケージと呼ぶ。 名前空間が単一のファイルに対応するとき、モジュールと呼ぶ。 名前空間が単一のディレクトリに対応するとき、パッケージと呼ぶ。 パッケージはレコードインスタンスであり、フィールド名はファイル名で、フ…

オミクロン・ラムダ計算というものを考える。目的は、 名前管理をちゃんとする。 名前や項の解釈に柔軟性を持たせる。 十分な表現力を持ち、かつ出来るだけ単純なデータ構造を導入する。 いくらでも高階の存在物を扱えるようにする。 そのためには、 例外を…