Type-level programming in TypeScript

Materials for the lecture "Programming types in TypeScript".

The code shown in the video is in src/index.ts file.

Challenges solved:

• Render server
• Typed store

Learn

• https://type-level-typescript.com/articles/one-hour-workshop
• https://www.totaltypescript.com
• https://www.zhenghao.io/posts/type-programming
• https://github.com/type-challenges/type-challenges

TypeScript-first libs with great DX and type-safety

• Zod schema validation
• DrizzleORM
• Prisma
• TS-Pattern