模板:Type systems

模板: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）
閱論編

導覽菜單