プログラミング:データ型
データ型
(
data type
)
Programming:data type
型理論
#Programming-term