Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
In this 38-minute conference talk from YOW! Australia 2024, explore how modern type systems have evolved beyond simple compiler checks into powerful design languages. Join Kris Jenkins, Developer Advocate and podcast host, as he demonstrates how types can express ideas about code functionality, problem-solving approaches, and design constraints. Learn to read and write effective types, communicate more clearly with your computer, help your software speak to your team, and identify opportunities for refactoring. The presentation covers describing things, relationships, and context, with practical examples in Elm and references to languages like Rust, Gleam, Swift, TypeScript, and Unison. Discover how type systems can transform your approach to software design and engineering.
