JavaScriptに静的型を加えた言語。tscでJSにコンパイルし、型で実行前に誤りを検出。Camp縦串のフロント入口言語。