やってみると個人的にはなかなか気に入りました。EspruinoでTypeScriptをやるとそのままでは動かないことがあります。それはEspruino独自のグローバルオブジェクトがコンパイルエラーを起こすことです。LED1といったGPIO用などのグローバルなオブジェクトが存在します。setWatchといった独自のグローバル関数もあります。これらがTypeScriptでは未定義のオブジェクトとなりコンパイルエラーが出てJSが生成されません。jQueryやnode.jsなどのライブラリを使ってコードを書いても起こることで、型厳密を追求するTypeScriptの特長です。fileをつくります。