TypeScriptの進化の道のりとバージョン2.0の新機能（型システム編）

共用型により変数に代入可能な型に制限を付加する