Communicating in Types
summary
Modern type systems like Haskell PureScript and Elm are presented as a design language that conveys concrete claims: algebraic data types encode precise responses (success vs payment-failure vs network-failure) so one place lists all order outcomes; refined signatures replace vague string->string with domain types to prevent silent bugs; compiler-checked enums catch missing routes; effectful contexts like SQL read vs write and Firebase scoping narrow test surface and speed debugging.
AI-written summary · about
chapters (4)
related talks
36mCommunicating in Types
47mCommunicating in Types
34mCommunication, Expression, and Types: Your Compiler as an Ally
32mCommunicating Intention with Functional TypeScript
47mHistory and Philosophy of types
01h 11mStatic Typing: Which language to choose?
22mBeyond JavaScript: The languages for the modern Web
21mLearning to Love Type Systems