Uá-ta̍t hêng-pia̍t

Lohankhapedia (自由的百科全書) 欲共你講..。
跳至導覽 跳至搜尋

倚值 (Uá-ta̍t)型別 (hêng-pia̍t) (漢字 (Hàn-jī): 倚值形別,英語 (Eng-gí): dependent type),中國 (Tiong-kok)號做 (hō-chò)依賴 (i-nāi)類型 (lūi-hêng) (漢字: 依賴類型) , () (tsi̍t) (khoán)程式 (têng-sek)語言 (gí-giân) (ê)型別 (type), (i) (hing)5 (pia̍t)內題 (lāi-tê) (tiông) (só͘)屬的 (sio̍k--ê) (ta̍t) (value)。

包含 (Pau-hâm) (Pi)型別 (kap)Sigma型別