Язык программирования типов, скрытый в TypeScript. Utility Types

[ihost]

TypeScript: Documentation - Mapped Types (typescriptlang.org)

[saaivs]

В контексте этого поста, наверное, не лишне упоминуть, что система типов TypeScript обладает полнотой по Тьюрингу.