Podcast (MP3): Download
Hosts: Arno Eberhard
Guests:
Recording venue:
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. Links The well known On Understanding Types, Data Abstraction, and Polymorphism paper with an impressive number of citations. Definition of Type Systems at Wikipedia
Comments