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
ليست هناك تعليقات:
إرسال تعليق