2017-02-16

Episode 5. Type Systems

Episode discussion thread: discuss.codepodcast.com/t/episode-5-t…pe-systems/22

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.

Guests

Special thanks to our reviewers, this time

Links: Basics

Links: Idris

Links: TypeScript

www.typescriptlang.org/

Links: Haskell

Links: Scala

Links: OCaml

Links: Discussions

Music

Mid-Air! @mid_air