Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Is There a New Language for Programming?
One of my favourite things from this ook is the interactive editing. It's pedagogically kind of much simpler, like a i don't understand all these extensions that were turned on to to the dependent rascal. I wonder if you could describe it. Wright som this. If you have a precise type system that gives the machine more to work with, the machine should be able to help you write your programme a lot more than if you just have a fairly simple type system. And y somehow, thi thi, this seems odd to dscribe in words rather than on a screen, buit will persist.
Transcript
Play full episode
