The Compiler & You – Pleasant PureScript

Description:

Flow: «Geek»

When we think about functional languages and their type systems, we often think about the safety and maintainability they provide. That's a pretty boring topic for a talk though, so I'd rather show you how a modern compiler like PureScript can empower you to create.

Using PureScript's rich type system to design our programs, we can use the compiler and it's IDE integration to drive our implementation. I'll show you how PureScript enables confident refactorings and how we can use the type system to document and guide users of our libraries.

Pair programming with your powerful ally, the compiler!