Andy Gordon from Cogna is interviewed by Sam and Matti. We learn about Andy’s influential work including the origins of the bind symbol in haskell, and the introduction of lambdas in Excel. We go onto discuss his current work at Cogna on using AI to allow non-programmers to write apps using natural language. We delve deeper into the ethics of AI and consider the most likely AI apocalypse.
6 Likes
I think there’s quite a lot of evidence that a professional programmer using something like Haskell is going to make maybe fewer bugs than writing code in languages, say, without types or with a more side-effecting style
This sounds great, I wonder what concrete evidence Andy Gordon is referring to here? I remember hearing somewhere that companies with a preference for dynamic typing aren’t necessarily doing worse than others, but this sounds like they must be.
(Realised my comment was a bit of a digression/distraction, will redirect elsewhere.)