Program Typing
A weekly podcast with Cliff Click talking about all things to do with programming, programmers and computer performance. This is a short talk on typing in programming languages, and how it might be improved and a progress report on automatically inferring e.g. recursive types in https://github.com/cliffclick/aa.