言葉がないのが問題

ジャーゴンだけでは言葉が足りない！

普通	データベース
リテラル	JSON形式（一例）
変数	テーブル
定数	?
値	《リレーション》
破壊的代入	更新
演算	《リレーション》演算
型	？
基本データ型	《ドメイン》

《リレーション》は、特殊なデータ型（直積データ型の有限ベキ型）のインスタンスのこと。

ところで、データ型＝不変実体。実体＝時間変化する部分集合、不変実体＝時間変化しない部分集合＝単なる部分集合＝制限型。ありとあらゆるデータ型は制限データ型とみなせるので、制限型＝型。よって、不変実体＝データ型。

用語は次のようにする。

• 基本データ型＝《ドメイン》
• 直積構成：基本型からの直積型 s×t
• 制限構成： 複合データ型の部分集合である型 t{x|p(x)}
• ベキ集合構成： Pow(X) = Subset(X) を作ること。
• 派生データ型：基本データ型から直積と制限とベキ集合を繰り返して得られるデータ型

例

• Subset(int×string){X | X isFinite}
• Subset(int×string){X | π₁|_X isInj}

なお、基本データ型は：

• bool {True, False}
• int
• real
• unit （void）