Episode 28: Type Systems

In recent episodes we have discusses statically and dynamically
typed languages and domain specific languages - topics that are
much talked about in the community at the moment. In this episode
we look at the foundation of programming languages : types. We
explain what a type actually is, how type systems work and what
polymorphism works.