Type-level programming

[karol-majewski]

What should the talk be about?

• What does it mean for TypeScript to be Turing complete
• How does it translate to real-life benefits?
• Are there any libraries that can help you with this topic?

Why is that important?

The type system used by TypeScript is powerful enough to express more than you think. Mapped types, conditional types and simulated higher-kinded types allow programmers to express their intent in a way few other languages do. However, it takes time to learn it. What if we were presented with how these skills translate to benefits in real life?

Who will learn from it?

Advanced users.