MTASC

http://d.hatena.ne.jp/yoriyuki/20050806#p3

型検査が通らないプログラムを弾かないとしたら、型検査する意義はどこにあるのでしょうか。

それはそうなんですけど。

こんなん通っちゃいますし。

class Tuto {
  static function length(o) {
    return Math.sqrt(o.x*o.x + o.y*o.y);
  }
  
  static function main(mc) {
    length(123);
  }
}

OSCONのスライドによるとlengthは{x:Number, y:Number}→Numberと型付けされるようです。そして123:Numberなので型エラーになるはず。型検査がオフになっているのかと思いましたが、

...
  var x : Number = "123";
...

とかやると、

type error String shoud be Number

とか出るんで、一応チェックしてるみたいです。

どうなってるんでしょう…