実際に使うまで、TypeScriptの型システムについてJavaやActionScriptのようなものをイメージしていたけど、いくつか他にはあまり見られない特徴のあるものだということが分かってきたので、まとめる。Specificationはあまり読んでいなくて、コンパイラ（Type…