TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)

ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>; // = true 一方でこのようにして定義された関数は第一級ではない, つまり関数そのものを他の関数の引数として渡したりすることができません. type FilterUnion<F, X> = X extends unknown ? (F<X> extends true ? X : never) : never; // ~~~~ // ^ Error: Type 'F' is n

[biwakonbu]

こだわればこだわるほど見た目からして異次元になる TypeScript 良いのか悪いのか分からんけど、追求という事で今年は色々参考にして極限を攻めたい。

[zyzy]

typescriptの型の表現力エグそうだから、色々出来るやろうなとは思っていたが、マジで色々できるな

[mizdra]

格好良い / this["arg"] なるほど

[tick2tack]

TypeScriptの型レベルプログラミングの話。

[hase0510]

「ジャバスクリプターもやっと型の価値がわかってきたか」なんて高みの見物をしているつもりでいる静的型言語プログラマーのみなさん、TypeScriptはヤバいことになっていますよ

[seal2501]

すごいことやってるな

[manaten]

こんな世界があるのか。テクニックだけで高階関数が実現できてしまうtypescriptの型システムの表現力の高さよ… / interfaceのthisがこんな便利存在とは知らなかった

[gfx]

ひえ…これはすごい。