TypeScript、 及び ECMAScript はノンブロッキングな処理を並列で行う為にとても美しく構成されています。しかし、それはブラウザの fetch や Node.js の file IO のようなスタンダードな API に限られた話です。TypeScript で CPU バウンドな処理を実装する際、並列処理を行いながら型安全を保ち続ける事は簡単ではありません。 このセッションでは、並列処理を行う API を型安全を保ちながら実装する様々な方法について、any から初めて、mapped types, confiditional types, function parameter tuple types などの TypeScript の強力な機能を使って型安全をつけるところまで、段階的に説明していきます。このセッションが終わる頃には、真の CPU バウンドな並列 API を他のスレッドや、Node プロセス、更には他のネットワーク上にまで型安全を保ちつつ届ける事が出来るようになるでしょう、それもボイラープレート無しで。このセッションでは TypeScriptt の最も複雑な機能とそのポテンシャルについて教える事がゴールです。