首頁
隨機
附近
登入
設定
資助維基百科
關於維基百科
免責聲明
搜尋
模板
:
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
）
閱
論
編
