首頁
隨機
附近
登入
設定
資助維基百科
關於維基百科
免責聲明
搜尋
模板
:
Type systems
語言
監視
編輯
類型系統
一般概念
類型安全
強類型與弱類型
主要分類
靜態類型與動態類型
明示類型
(
英語
:
Manifest typing
)
與
推論類型
名義型別系統
與
結構類型
(
英語
:
Structural type system
)
鴨子類型
次要分類
抽象類型
依賴類型
流程敏感類型
(
英語
:
Flow-sensitive typing
)
漸進類型
(
英語
:
Gradual typing
)
交集類型
(
英語
:
Intersection type
)
潛在類型
(
英語
:
Latent typing
)
細化類型
(
英語
:
Refinement type
)
子結構類型
(
英語
:
Substructural type system
)
唯一類型
(
英語
:
Uniqueness type
)
會話類型
(
英語
:
Session type
)
閱
論
編