generated at
派生型 (derived type)
ある基本型に対して、派生した型のこと
基底型 (base type)の逆の言い方
「派生」の定義はプログラミング言語によって異なる


>#WIP


公称的部分型



構造的部分型



キャスト



関連
リスコフの置換原則 (LSP)

参考
TaPLの15章を読もうねmrsekutmrsekut
19.3とかも
https://soutaro.hatenablog.com/entry/20060912/1158074146
https://ja.wikipedia.org/wiki/派生型

https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/sf04w/resume8.pdf
https://lethevert.hatenadiary.org/entry/20060902/p2
https://methane.hatenablog.jp/entry/ruby-python-go-typing
https://medium.com/@thejameskyle/type-systems-structural-vs-nominal-typing-explained-56511dd969f4
https://twitter.com/kmizu/status/1056501231126929408




#型システム