イベントループと TypeScript の型から理解する非同期処理