✨ Типы TypeScript как язык программирования

Знали ли вы, что TypeScript является тьюринг-полным? Система типов TypeScript не просто инструмент проверки типов, а полноценный язык программирования.

Вы можете использовать дженерики как функции, условные типы для ветвления логики, рекурсию для итераций, а infer как переменные для деструктуризации значений.

Статья показывает практические примеры: генератор типов для CRUD-операций, вывод типов из middleware и многое другое.

👉 https://marmelab.com/blog/2025/12/04/typescript-type-as-a-programming-language.html