Тьюринговый typescript

Коллекция ссылочек

Итак, система типов у typescript является Тьюринг-полной. Сейчас можно говнокодить не только в рантайме, а еще и на этапе компиляции.

Некоторые люди написали реально прикольные вещи.

• Начнем с легенького. Арифметика: https://millsp.github.io/ts-toolbelt/modules/_number_plus_.html
• Ну и куда же без brainfuck? https://github.com/susisu/typefuck
• Типа lisp: https://www.reddit.com/r/typescript/comments/fda3pw/a_typelevel_lisp_interpreter_ish
• Ебучий судоку-солвер! https://github.com/eamonnboyle/sudoku-type-solver
• https://github.com/codemix/ts-sql — интерпретатор SQL на typescript.
• https://github.com/ghoullier/awesome-template-literal-types — солянка различных приколов. Включает в себя json сериализатор/десериализатор, dot-нотации, парсинг роут-параметров, graphql и еще немножечко веселья