Code Podcast

Episode 5: Type systems

Download audio

Your favorite features of Type Systems in one episode! Interfaces, Generics, ADT, Type Classes and Dependent Types. We’ll talk about what they are and how they shape the way we work.

Host: Andrey Salomatin
Dark side: Michael Beschastnov


Special thanks to our reviewers

Links: Basics

Links: Idris

Links: TypeScript

Links: Haskell

Links: Scala

Links: OCaml

Links: Discussions


Mid-Air! @mid_air