handbookやspecに書いてあることではあるけれど。 はじめに 例えば以下の様な定義があるとする。 class X { say() { return "x"; } } class Y { } ここで以下のような型は型チェックを通らない。正しい。 let y: Y = new Y(); y.say(); もちろん以下のような…