Similar to Template:型システム

• 

  型システム

  Type system
  
• 

  依存型

  Dependent type
  
• 

  型クラス

  Type class
  
• 

  型推論

  Type inference
  
• 

  サブタイピング (計算機科学)

  Subtyping