高度なTypeScriptの楽しい側面:インタラクティブなコーディングセッション - Dante De Ruwe - NDC London 2026
ベルギーのAEに所属するテクニカルコンサルタントのDante De Ruweは、TypeScriptの型システムがランタイムコードを一切使わず、型レベルだけでWordleと算術計算機を実装できるほどチューリング完全であることをライブコーディングで実演しました。主要なテクニックとして、三項演算子のように機能する条件型(extends)、部分文字列マッチングと文字抽出のためのテンプレートリテラル型、ループを実現する再帰ジェネリック型(TypeScriptは再帰を約1,000回でハードキャップ)、inferを使ったタプル操作でインクリメント・デクリメントカウンターをシミュレートする手法が紹介されました。これらのプリミティブをもとに、型レベルのindexOf・add・subtract・multiply・divideジェネリックを構築し、二数の加算はBがゼロになるまでAを増やしBを減らすだけで実現できることを示しました。発表は、型安全性・IntelliSenseドキュメント・ランタイム例外防止が重要なライブラリコードでこそ、これらの技法が最も価値を発揮するという実用的な視点で締めくくられました。
高度なTypeScriptの楽しい側面:インタラクティブなコーディングセッション - Dante De Ruwe - NDC London 2026
ベルギーのAEに所属するテクニカルコンサルタントのDante De Ruweは、TypeScriptの型システムがランタイムコードを一切使わず、型レベルだけでWordleと算術計算機を実装できるほどチューリング完全であることをライブコーディングで実演しました。主要なテクニックとして、三項演算子のように機能する条件型(extends)、部分文字列マッチングと文字抽出のためのテンプレートリテラル型、ループを実現する再帰ジェネリック型(TypeScriptは再帰を約1,000回でハードキャップ)、inferを使ったタプル操作でインクリメント・デクリメントカウンターをシミュレートする手法が紹介されました。これらのプリミティブをもとに、型レベルのindexOf・add・subtract・multiply・divideジェネリックを構築し、二数の加算はBがゼロになるまでAを増やしBを減らすだけで実現できることを示しました。発表は、型安全性・IntelliSenseドキュメント・ランタイム例外防止が重要なライブラリコードでこそ、これらの技法が最も価値を発揮するという実用的な視点で締めくくられました。