Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
Type Lamde Calculus Is God's Programming Language
I'm jewish. I regularly attend shul. To to morrow is jon ceper. But i do not believe in god atall. And when i said that, somebody got up and walked out of the room because they didn't believe god had any role in im talking about science. Ah, but yes, saying, this is god's programming language, i think, is one way of conveying what i feel like is going on there. For a while, it was sort of the only way i could think of to phrase it that conveyed it very well. You know, i really have had as goal as this interview to get you to say, type lamde calculus
Transcript
Play full episode
