#contents * 構文解析・意味解析 構文は常に正しい必要あり。~ 意味解析はインスタンス化したときに行われる。 * インスタンス化 - 同じ型によるインスタンス化ごとに1つしかインスタンスは作られない -- 違うモジュールでインスタンス化されていても1つ * abstract class v0.127 abstract class Base(T) {} class Derived(T): public Base!(T) {} はダメらしい（変数宣言で転ける。~ はダメらしい（インスタンス化したときに文句が言われる。~ Base中に abstractなメソッドがある分にはいいらしい。~ あんまりよくわかってない。