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
Eyal Solomon, CEO and co-founder of Lunar.dev, joins SE Radio’s Kanchan Shringi for a discussion on tooling for API consumption management...
Ines Montani, co-founder and CEO of Explosion, speaks with host Jeremy Jung about solving problems using natural language processing (NLP)...
Hyrum Wright, Senior Staff Engineer at Google, discusses the book he co-edited, “Software Engineering at Google,” with host Gregory M...
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.