Skip to content

Type-level programming #22

Open
Open

Description

@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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions