Friday Oct 4
14:15 –
15:00
TAP1, Breakout 2
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.
Keynotes
-
X Marks the Spot: Navigating Possible FuturesSimon WardleyWednesday Oct 2, 13:00
-
Using Generative AI to Strengthen and Speed LearningBarbara OakleyWednesday Oct 2, 09:00
-
From Strategy to Practice: Insights on How Team Topologies Drive Organizational SuccessManuel PaisWednesday Oct 2, 17:30
-
To the MoonRuss OlsenWednesday Oct 2, 19:30
-
Things They Don't Tell You About Being a Tech LeaderMichael NygardFriday Oct 4, 16:30
-
The Magic of Small Things - 10 Years of MicroservicesJames LewisThursday Oct 3, 17:30
-
The Past, Present and Future of Programming LanguagesKevlin HenneyFriday Oct 4, 09:00
-
Architecture and Responsible TechnologyRebecca ParsonsFriday Oct 4, 13:00
-
Tidy First? A Daily Exercise in Empirical DesignKent BeckThursday Oct 3, 13:00
-
The Future of MicroprocessorsSophie WilsonThursday Oct 3, 09:00