型システム

• 公称型システムとサブタイピング
• パラメトリック型
• ユーザ定義型
• 特別な型