Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Is Printfs Required Dependent Types?
In the book, you go through an example of printfso is printe require dependent types to be done? Ye,printfis. It's almost the first example of a dependently typed programm that a lot of people see a. So they're computed at compile time. A c compiler will tell you if you've got it wrong,. Bcause print fis is not, as far as i'm aware, part of the c language standard. This is something that has to be hard coded into the compilation.
Transcript
Play full episode
