Latest videos
Reducing Network Latency: Innovations for a Faster Internet
Effective Code Reviews with Conventional Comments
Bridging the Digital Divide: A Path to Inclusive Innovation and Prosperity
AI Powered Bug Hunting
Architecture & Responsible Technology
What Every Programmer Should Know about How CPUs Work
Privacy-First Research with OpenSAFELY
From Gamepads to Launchpads: What the Tech World Can Learn from Video Game UX
Practical Gen AI: Building a Chatbot using Spring AI
36:00
Communicating in Types
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.
