Recording Venue:
Guest(s):
Host(s): Arno Eberhard
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.
SE Radio 28: Type Systems
Join the discussion
You must be logged in to post a comment.
1 comment
More from this show
Vinay Tripathi, a senior network engineer in Google Backbone Engineering and an 18-year network engineering veteran, discusses BGP...
Tim McNamara, a well-known Rust educator, author of Rust in Action (Manning), and a recipient of a Rust Foundation Fellowship in 2023...
Simon Wijckmans, founder of c/side — a company that focuses on monitoring, securing, and optimizing third-party JavaScript —...
I’ve just discovered the podcast (thanks, Ehud Kaldor!) and am really enjoying it. So far this episode, to which I listened twice, is my favorite. The idea of exceptions as a checked type is really fascinating. I look forward to hearing the functional programming episodes. An episode about just-in-time compilers would be great to follow-on the fine “Internals of GCC” episode.