Code Podcast

Episode 5: Type systems

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 flpvsk.com
Dark side: Michael Beschastnov

Guests

Special thanks to our reviewers

Links: Basics

Links: Idris

Links: TypeScript

www.typescriptlang.org

Links: Haskell

Links: Scala

Links: OCaml

Links: Discussions

Music

Mid-Air! @mid_air