オブジェクト
en: object
単に「物体」であったり、特に「対象物」を意味したりする
SVOのO、目的語とか
値というのは操作 (
関数
ないし
手続き
) の対象
Java
などでは
プリミティブ
と対比される
複合型
のことを示すこともあり、オブジェクトは常に参照の形であるというような特徴があったり
first-class objects
https://leanprover.github.io/theorem_proving_in_lean4/dependent_type_theory.html