TypeScript 4.1による型レベルパーサコンビネーター

はじめに これはTypeScript Advent Calendarの11日目の記事です。 TS 4.1で導入されたTemplate literal typesが世間で話題ですね。 TypeScriptのTemplate string typesで湧き上がる界隈の様子 - Togetter Template String Types でパス文字列を解析してクエリする - Object.create(null) (ネタ) TypeScript 型パズルで作るmini interpreter by Yosuke Kurami TypeScriptにヤバい機能が入りそうなのでひとしきり遊んでみる - TechRacho Template titeral types で型上の簡易 Lisp パーサー - La Verda Luno Template Literal Types の基礎と .join

[mominis]

状態を持ちたいのでVM実装(型で)するのがなんかもうすごい

[koba789]

なぜベストを尽くしてしまったのか

[chimerast]

すごい、けど、全く使い道が思い当たらない。