http://www.ecmascript.org/es4/spec/evolutionary-programming-tutorial.pdf Guradual Typingというのは簡単に言うと、コード中で部分的に静的な型情報を記述できて、その範囲で静的チェックができるようになっている型システム。 Gradual Typing for Funct…