# Type Systems You Might Not Know (But Will Love) > Source: > Published: 2026-09-15 05:21:04+00:00 [Open session](https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1709-when-humans-stop) World Congress 2026 North America September 24, 2026 · 16:10–16:40 Outdoor Stage #### When Humans Stop Writing Code: Rethinking Languages, Compilers, and Responsibility Simon Auer Organizer of flutter vienna meetup and CEO of marqably - Discuss this with your agent - [Open in Claude](https://claude.ai/new?q=Load%20the%20contents%20of%20https%3A%2F%2Fwww.wearedevelopers.com%2Fvideos%2F100067-type-systems-you-might-not-know-but-will-love.md%20into%20this%20chat%27s%20context%20so%20we%20can%20discuss%20it.) - [Open in ChatGPT](https://chatgpt.com/?q=Load%20the%20contents%20of%20https%3A%2F%2Fwww.wearedevelopers.com%2Fvideos%2F100067-type-systems-you-might-not-know-but-will-love.md%20into%20this%20chat%27s%20context%20so%20we%20can%20discuss%20it.&hints=search) Stop limiting your code to the static-versus-dynamic binary. Discover five advanced type paradigms that systematically eliminate entire classes of runtime bugs before your software ever runs. CH Chris Heilmann Jobs that call for the skills explored in this talk. 25 days ago • Verified Sciforium San Francisco, United States Expert $165k–210k Python 4 days ago ARM Seattle, WA, United States Expert $262k Compilers Low Latency Concurrency Expert $209k–282k Compilers Low Latency Concurrency Expert $230k–300k Python Expert $190k–250k Rust Python 7 days ago Bitpanda Barcelona, Spain Remote Backend Caching ReactJS Toggle search ⌘ K Press {key} and K to toggle search