ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
Template
:
型システム
言語
ウォッチリストに追加
編集
型システム
主要カテゴリ
静的型付け
vs
動的型付け
強い
vs
弱い
明示的
vs
型推論
名前的
vs
構造的
ダックタイピング
マイナーカテゴリ
部分型
再帰型
部分構造型
依存型
漸進的型付け
フロータイピング
潜在的型付け
型理論のコンセプト
直積型
-
直和型
交差型
-
共用型
単一型
-
選択型
帰納型
-
精製型
トップ型
-
ボトム型
函数型
-
商型
全称型
-
存在型
一意型
-
線形型