search

WrocTypeScript / talks

What would you like to share with the community?
11 stars 1 forks source link

Higher-kinded types #26

Open karol-majewski opened 5 years ago

karol-majewski commented 5 years ago

What should the talk be about?

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 commented 5 years ago

@piotrwitek does it sound interesting to you?

karol-majewski commented 5 years ago

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