http://www.se-radio.net/2006/09/episode-28-type-systems/ The Podcast for Professional Software Developers Tue, 14 May 2013 01:48:59 +0000 hourly 1 http://wordpress.org/?v=3.5.1 http://www.se-radio.net/2006/09/episode-28-type-systems/#comment-1053 Alison Chaiken Sat, 04 Jun 2011 23:46:08 +0000 #comment-1053 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.

]]>