Type Theory Forall cover image

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

Type Theory Forall

00:00

Types: Benefits and Trade-offs in Practice

Mike discusses type-driven design, static typing benefits for small programs, and trade-offs like openness and extensibility.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app