Philip Wadler also recently discussed this on the excellent programming podcast CoRecursive: https://corecursive.com/021-gods-programming-language-with-philip-

Philip Wadler also recently discussed this on the excellent programming podcast CoRecursive: https://corecursive.com/021-gods-programming-language-with-philip-wadler/ https://corecursive.com/021-gods-programming-language-with-p...