Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Having a Programming Language With Lazy Evaluation
Edwin: Having a programming language with lazy evaluation by a default, is a mistake. There are lots of arguments in favour of lady evaluation. I like both a, i would really like a language that could read my mind as to what i wanted and when. But thats even more of a dream than the other things. So we i picked strict, fredres jus, cause a while ago, i'd implemented a lazy language, and i wanted to implement a strict one this time. That was the real reason. And there's actually a better reason, whichhas come up later, which is that i want a type to precisely say what the data is at run time. If
Transcript
Play full episode
