「Template:型システム」の版間の差分

履歴の双方向閲覧

← 古い編集

削除された内容追加された内容

ビジュアルウィキテキスト

インライン

2022年8月6日 (土) 04:28時点における最新版

@@ 1行目: / 1行目: @@
 {{sidebar
-| title = [[型システム|Type systems]]
+| title = [[型システム]]
 | contentstyle = text-align:center;
 | basestyle = background-color: rgba(51, 153, 255, 0.15);
-| heading1 = major categories
+| heading1 = 主要カテゴリ
 | content1 =
-[[静的型付け]]  vs  [[動的型付け]]<br/>[[:en:Strong and weak typing|強い]]  vs  [[:en:Strong and weak typing|弱い]]<br/>[[:en:Manifest typing|明示的]]  vs  [[型推論]]<br/>[[:en:Nominal type system|記名的]]  vs  [[:en:Structural type system|構造的]]<br/>[[ダックタイピング]]<br/>
+[[静的型付け]]  vs  [[動的型付け]]<br/>[[:en:Strong and weak typing|強い]]  vs  [[:en:Strong and weak typing|弱い]]<br/>[[:en:Manifest typing|明示的]]  vs  [[型推論]]<br/>[[:en:Nominal type system|名前的]]  vs  [[:en:Structural type system|構造的]]<br/>[[ダック・タイピング|ダックタイピング]]<br/>
-| heading2 = minor categories
+| heading2 = マイナーカテゴリ
 | content2 =
-[[派生型|サブタイピング]]<br/>[[:en:Substructural type system|サブ構造型]]<br/>[[依存型]]<br/>[[:en:Gradual typing|漸進的型付け]]<br/>[[:en:Flow-sensitive typing|フロータイピング]]<br/>[[:en:Latent typing|潜在的型付け]]
+[[サブタイピング (計算機科学)|部分型]]<br/>[[再帰データ型|再帰型]]<br>[[:en:Substructural type system|部分構造型]]<br/>[[依存型]]<br/>[[:en:Gradual typing|漸進的型付け]]<br/>[[:en:Flow-sensitive typing|フロータイピング]]<br/>[[:en:Latent typing|潜在的型付け]]
-| heading3 = type theory concepts
+| heading3 = 型理論のコンセプト
 | content3 =
-[[:en:Product type|直積型]]  -  [[:en:Sum type|直和型]]<br/>[[:en:Intersection type|交差型]]  -  [[:en:Union type|共用型]]<br/>[[:en:Unit type|単一型]]  -  [[:en:Option type|選択型]]<br/>[[:en:Inductive type|帰納型]]  -  [[:en:Refinement type|精製型]]<br/>[[:en:Top type|トップ型]]  -  [[ボトム型]]<br/>[[:en:Quotient type|指数型]]  -  [[:en:Existential type|存在型]]<br/>[[:en:Uniqueness type|一意型]]  -  [[:en:Substructural_type_system#Linear_type_systems|線形型]]
+[[:en:Product type|直積型]]  -  [[:en:Sum type|直和型]]<br/>[[:en:Intersection type|交差型]]  -  [[:en:Union type|共用型]]<br/>[[:en:Unit type|単一型]]  -  [[:en:Option type|選択型]]<br/>[[:en:Inductive type|帰納型]]  -  [[:en:Refinement type|精製型]]<br/>[[:en:Top type|トップ型]]  -  [[ボトム型]]<br/>[[:en:Function type|函数型]]  -  [[:en:Quotient type|商型]]<br/>[[:en:System F|全称型]]  -  [[:en:Existential type|存在型]]<br/>[[:en:Uniqueness type|一意型]]  -  [[:en:Substructural_type_system#Linear_type_systems|線形型]]
-}}<noinclude>
+}}
+<noinclude>
+[[Category:型システム|*T‎]]
-[[Category:型システム‎]]
-[[Category:データ型]]
-[[Category:データ構造]]
-[[Category:プログラミング]]
 </noinclude>