オブジェクト
en: object
くそ多義語
単に「物体」であったり、特に「対象物」を意味したりする
SVOのO、目的語
値というのは操作 (関数 ないし 手続き) の対象
Javaなどではプリミティブと対比される複合型のことだったりする
色々な特徴がある
参照で持たれている
等価性をIDで判定する
ガベージコレクションアルゴリズム上においてヒープメモリに確保されているデータのこと
first-class objects
第一級関数など
この場合、「関数がfirst-class objectsである」のobjectはJava的な意味でのオブジェクトである必要がない
JavaScriptだと結果的にJava的な意味でのobjectではある
Haskellはたぶんそういう区別がないので、単に値として操作の対象(object)にできるということをたぶん指している
https://leanprover.github.io/theorem_proving_in_lean4/dependent_type_theory.html