.png?auto=format&w=800&q=75)
.jpg)
【決定論的な型チェックへ：Go 製コンパイラによる10倍速の裏側で --stableTypeOrdering から見える並列化への挑戦】
「ロジックとして独立した宣言が，関数の型定義の順序を変更してしまう」
この挙動は，TypeScript の Type IDs を使用した仕組みによるものです．
TypeScript 6.0 で --stableTypeOrdering フラグが追加される．このオプションは，上記の問題の解決であるのと同時に，TypeScript 7.0 で実現される「Go言語によるネイティブコンパイラ」へ移行準備の意味合いを持ちます．
Go言語によるコンパイル高速化のための「並列化」は，Type IDsの仕組みだと，型の処理順序に対する「非決定性」の課題が出てきます．
本セッションでは，TypeScript 6.0 で導入された --stableTypeOrdering フラグに焦点を当て，以下の構成で話します．
- なぜ離れた場所の const 宣言が，ユニオン型の並び順を変更してしまうのか
- なぜ TypeScript 7.0 では Type IDs 順を捨て，「コンテンツに基づく決定論的ソート」を導入したのか
- チェック速度を最大 25% 犠牲にしてまでも提供されるこのフラグの価値と，移行時に発生しうる推論エラー
登壇日：Day1（5/22）
登壇時間：14:20 ~ 14:50 （UPSIDERトラック）
会場：ベルサール羽田空港