This SkillsCast is currently only available to registered attendees of YOW! Lambda Jam 2022
It will be freely available to all Skills Matter members once the YOW! Lambda Jam 2022 early-access window expires on August 17, 2022.
Tooling is one of the most important parts of choosing a programming language. The tooling available for functional programming type systems leaves a huge amount of untapped potential. We can perform algebra on types, so there should be a library for that. We can search by types, so there should be a library for that. There's a lot of information in types, let's exploit it everywhere!I've been working on reusable libraries for making tools for types. With a tiny bit of work, you can get some fancy tooling for your favourite programming languages. This talk will show what these libraries can do, quickly show how they work and show my vision of a user experience for working with typed functional programs.
YOU MAY ALSO LIKE: