コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

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

削除された内容 追加された内容
Sycgln (会話 | 投稿記録)
編集の要約なし
m "quotient type" の訳は「商型」である (例: [https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002266306397711])
14行目: 14行目:
| heading3 = type theory concepts
| heading3 = type theory concepts
| content3 =
| 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:Quotient type|型]] - [[:en:Existential type|存在型]]<br/>[[:en:Uniqueness type|一意型]] - [[:en:Substructural_type_system#Linear_type_systems|線形型]]
}}<noinclude>
}}<noinclude>



2021年9月29日 (水) 13:04時点における版