Communicating in Types • Kris Jenkins • GOTO 2024

This presentation was recorded at GOTO Copenhagen 2024. #GOTOcon #GOTOcph https://gotocph.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 about pleasing the compiler. These days they form a sub-language that helps us express ideas about software clearly & succinctly. A true design language. So let’s take a look at how a modern type system supports talking about software. How it highlights problems, clarifies designs, and supports reuse. Most importantly, see how types can help you talk to your colleagues. [...] TIMECODES 00:00 Intro 01:42 Disclaimer 02:05 A story of types 03:59 Describing things 11:22 Describing relationships 15:08 Some examples in Elm 23:49 Describing context 32:46 Where next? 35:44 Outro Download slides and read the full abstract here: https://gotocph.com/2024/sessions/3487 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 #ModerTypeSystem #SoftwareDesign #Elmlang #Unison #Unisonlang #Rustlang #Gleam #Swift #TypeScript #Programming #SoftwareEngineering #TodayInTech #KrisJenkins 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