派生型と部分型って何が違う?
バグってきた
mrsekut.icon
英語版wikipedia/TaPLとかをソースとして整理したい
mrsekut.icon
https://ja.wikipedia.org/wiki/サブタイピング_(計算機科学)
スーパータイプ＋サブタイプ
上位型 (supertype)
＋
部分型 (subtype)
https://en.wikipedia.org/wiki/Subtyping#Subsumption
上位型 (supertype)
＋
下位型 (subtype)
これ、訳の問題では？
基底型 (base type)
＋
派生型 (derived type)
https://en.wikipedia.org/wiki/Subtyping#Relationship_with_inheritance
基本型 (basic type)
＋
拡張型 (extend type)
など
コレ全部別物なん
#??
#??
「派生型」は「Subtype」なのに、「構造的部分型」は「structural subtypeing」なのややこしくない？？「Subtype」って「派生型」なん？「部分型」なん？ってなる
名前と英語がややこしいんだよ
公称的部分型と構造的部分型の両方を持ち合わせる言語はありえない？
https://stackoverflow.com/questions/2677752/derived-types-and-sub-types-in-ada