19 min
Program Typing Programming and Performance with Cliff Click
-
- Technology
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.
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.
19 min