Types are for declaring variables, right? [online]

​Michael Bauer – software architect and engineer with 15+ years of experience – takes us on a journey through type-systems from their origins in mathematics & philosophy to the cutting edge of programming languages today and beyond, showing us why their usefulness extends far above variable declarations.

• ​Chart the deep connections between logic, math, and software

• ​Build increasingly expressive abstractions

• ​Turn bookkeeping into powerful proofs about your code

• ​Provide high-value signals for both humans and AI

• ​Write less code and fewer tests with better guarantees

​Come for the code, stay for the community – we’d love to see you there 🙂