inhabitant
ここ
で見た
曖昧製回避のために
type inhabitant
としたほうが良いかもしれない
mrsekut.icon
型理論
における用語
和訳がわからない
直訳すれば「住民」
例えば
Int
型のinhabitantは、
1
とか
888
とか
例えば
["hoge", "piyo"]
は、
String[]
型のinhabitant
Unit
は唯一つのinhabitantを持つ
型の数
https://en.wikipedia.org/wiki/Type_inhabitation
https://ziphil.com/file/mathematics/5.pdf
ここでは「具体項」と訳している
https://gist.github.com/pchiusano/444de1f222f1ceb09596