Similar to Nullable型
数学的構造
Mathematical structureダック・タイピング
Duck typing
抽象データ型
Abstract data type
直観主義型理論
Intuitionistic type theory
データ型
Data type
変数 (プログラミング)
Variable (high-level programming)
ラムダ・キューブ
Lambda cube
リスコフの置換原則
Liskov substitution principle