Документация TypeScript
https://www.typescriptlang.org/docs/handbook

DOOM на системе типов (код)
https://github.com/MichiganTypeScript/typescript-types-only-wasm-runtime

DOOM на системе типов (видео)
https://www.youtube.com/watch?v=0mCsluv5FXA

Практика программирования на системе типов
https://github.com/type-challenges/type-challenges