- Types communicate business logic
- In particular, the types in your function signatures can tell the story of what your program does
- Make those function signature types more specific and domain-relevant
Original video by GOTO Conferences:
This presentation was recorded at GOTO Copenhagen 2024.
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
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