Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Programming With the Machine as Your Pair
Programming needs to be an interactive process that needs to be a conversation. All languages can adopt nlys al types, or statically typed languages can adopt as this concept of e wholes. A whole is a part of a programme that you haven't written yet, but that is nevertheless syntactically valid. And i think there's a lot of work we need to do here. But if we really start thinking about what, what? How can we get machines to support type driven development? Theway beyond what ideas concurrently do, i think thow stat really an interesting topic to explore"
Transcript
Play full episode
