Communicating In Types

YOW! Sydney 2024

Modern type systems have come a long way since C. They’re no longer just book-keeping checks to satisfy the compiler. These days a good type system lets you express ideas about what your code does, what problems you're trying to solve, and what design constraints you're up against. But only if you know how to make use of them.

So let's take a look at the best of modern type systems and learn how to read & write them. You'll see that they types are so much more than a tool for correctness - they're a whole design language. And with a good design language, you can speak more clearly to your computer, your software can speak more clearly to your team, and you can even learn to spot poorly-expressed ideas and find new opportunities for refactoring.