Communicating In Types
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.
-
Bootiful Spring Boot: A DOGumentaryJosh LongMonday Dec 9 @ 11:30
-
Understanding Rust; or how I learned to stop worrying and love the borrow-checkerSteve SmithTuesday Dec 10 @ 11:30
-
Concerto for Java and AI - Building Production-Ready LLM ApplicationsThomas VitaleMonday Dec 9 @ 13:15
-
Java's Hidden Gems: Tools and LibrariesJohan JanssenTuesday Dec 10 @ 10:30
-
A Code Centric Journey Into the Gleam LanguageGiacomo CavalieriTuesday Dec 10 @ 14:15
-
All The World Is A Staging ServerEdith HarbaughTuesday Dec 10 @ 13:15
-
Moldable Development in Practice — Patterns for Legacy Moldable Development in Practice — Patterns for Legacy ModernizationOscar NierstraszMonday Dec 9 @ 14:15
-
Communicating In TypesKris JenkinsMonday Dec 9 @ 15:30
-
The Beauty of Simplicity - Making Your Own TechnologyYan ChernikovMonday Dec 9 @ 10:30