Higher-kinded types

[karol-majewski]

What should the talk be about?

• What are they?
• What are the use cases?
• The idea of simulating higher-kinded types in languages that don't support them see Lightweight higher-kinded polymorphism
• Will HKTs be supported by TypeScript natively?

Why is that important?

The rise of functional programming influences the way we think about programs. Good support for generic functions is important, but having higher-order type constructors would transform TypeScript into a language capable of expressing abstractions present only in the functional world.

Who will learn from it?

Advanced users, library authors.

[karol-majewski]

@piotrwitek does it sound interesting to you?

[karol-majewski]

May come in handy: https://diogocastro.com/blog/2018/10/17/haskells-kind-system-a-primer/