28: Richard Eisenberg
The Haskell Interlude
00:00
The Importance of Compile Time Programming
The overarching dependent types plan is to have full dependent types and write in the language. So what a lot of people say is the same things in types as they are in terms. And I don't want there to be a difference. Instead, I think it's a more helpful language to talk about compile time programs versus runtime programs.
Transcript
Play full episode
