Communicating In Types • Kris Jenkins • YOW! 2024

This presentation was recorded at YOW! Australia 2024. #GOTOcon #YOW https://yowcon.com Kris Jenkins - Developer Advocate, Software Developer, Podcast Host, Conference Speaker & Geek @krisajenkins RESOURCES https://bsky.app/profile/krisajenkins.bsky.social https://www.linkedin.com/in/krisjenkins https://twitter.com/krisajenkins https://github.com/krisajenkins http://blog.jenkster.com ABSTRACT 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. [...] TIMECODES 00:00 Intro 00:18 Disclaimer 01:00 A story of types 03:46 Describing things 11:21 Describing relationships 13:30 Some examples in Elm 24:24 Describing context 33:58 Where next? 37:50 Outro Download slides and read the full abstract here: https://yowcon.com/brisbane-2024/sessions/3565 RECOMMENDED BOOKS Sandy Maguire • Thinking with Types • https://leanpub.com/thinking-with-types Edwin Brady • Type-Driven Development with Idris • https://amzn.to/432GZTi Maryann Kisamore • Basics Of Apache Kafka • https://amzn.to/3tkVYFD Mitch Seymour • Mastering Kafka Streams and ksqlDB • https://amzn.to/3HZ18wK Ted Dunning & Ellen Friedman • Streaming Architecture • https://amzn.to/3lhk3Kb Liz Rice • Container Security • https://amzn.to/3oU4iJe Neal Ford • Functional Thinking • https://amzn.to/3DdP35B Petricek & Skeet • Real-World Functional Programming • https://amzn.to/38diF4M Venkat Subramaniam • Functional Programming in Java • https://amzn.to/2WlOXIt https://bsky.app/profile/gotocon.com https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.instagram.com/goto_con https://www.facebook.com/GOTOConferences #Types #TypeSystem #ModernTypeSystem #SoftwareDesign #Rustlang #Gleam #Swift #TypeScript #Unison #Unisonlang #Programming #SoftwareEngineering #KrisJenkins #YOWcon CHANNEL MEMBERSHIP BONUS Join this channel to get early access to videos & other perks: https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1