Communicating in Types - Modern Type Systems as Design Language

Explore a 36-minute conference talk from GOTO Copenhagen 2024 where Kris Jenkins, Developer Advocate and podcast host, delves into how modern type systems function as a design language for expressing software ideas clearly and succinctly. Learn how type systems have evolved beyond simply pleasing compilers to become powerful communication tools that highlight problems, clarify designs, and support code reuse. Follow along as Jenkins shares a story of types, demonstrates how to describe things and relationships through types, provides practical examples in Elm, explains how to describe context, and discusses future directions in type system development. The presentation includes comprehensive code examples showing how types can improve communication with colleagues and enhance software design across languages like Elm, Unison, Rust, Gleam, Swift, and TypeScript.