Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
A New Language Is a Better Place to Experiment With These Ideas
As languages evolve, they do tend to get er very big. It's not clear that everyone is using the same language when they say they're writing a haskall programme. So i think it would make sense to rationalize the ideas into into a new system. But then, of course, if you make a new language, people aren't going to use it,. cause they're heavily invested in their inentils at already exist. I don't outsolve that problem. I'm just here to throw out ideas andte and prototype inplementations into le wat people run with. Ye, it's interesting, like you mention rust, which, as us, quite a new language
Transcript
Play full episode
