倚值 (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) (漢字: 依賴類型) ,是 (sī)一 (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型別。