「型パズル」「型レベルプログラミング」について説明するページを追加しませんか？

[suin]

「型パズル」や「型レベルプログラミング」という言葉は、読者が馴染み深い他の言語(Java、PHP、Rubyなど)ではあまり聞かないものの、TypeScriptではしばしば耳にすることになるので、その意味について説明があったほうがいいかもしれません。

https://twitter.com/pankona/status/1522924826645516288