>>72
undefineだけはなぁ。

継承を部分型だと考える場合、
代数的な意味でインターフェースの型が変わっちゃって
部分型じゃなくなるから静的な型付けに問題が。
他はまぁ単に略記／シンタクティック・シュガーだけど。