Tiny type tools

Please log in to watch this conference skillscast.

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.

Download Slides as PDF

YOU MAY ALSO LIKE:

• Teaching functional programming at Atlassian (SkillsCast recorded in May 2018)