Summary: A weekly podcast with Cliff Click talking about all things to do with programming, programmers and computer performance.<br> <br> <br> <br> 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.
