tag:blogger.com,1999:blog-9199218110740263593.post1149923735234253355..comments2018-01-25T04:01:08.843-08:00Comments on Teaching, learning, and loving software development: My best computer science students do these thingsMark Mahoneyhttp://www.blogger.com/profile/02735073397555513083noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-9199218110740263593.post-80731925213973085022013-09-26T13:22:12.193-07:002013-09-26T13:22:12.193-07:00Good humor in light of mistakes:
"Lambda cal...Good humor in light of mistakes:<br /><br />"Lambda calculus was more often on Turing’s mind. The logician Robin Gandy, who had been a student and associate of Turing, mentioned in 1986 at a conference for his retirement, that in the early 1950s Turing had told him ideas to implement lambda reduction using graphs. This is now commonly done when designing compilers for functional programming languages. Thereby Turing was not careful about the distinction between free and bound variables and Gandy could correct him. Then Turing said: "That remark is worth 10 pounds a week!", in those days enough for a decent living."<br />Source: Barendregt and Manzonetto, "Turing’s contributions to lambda calculus"Nathan Fultonhttps://www.blogger.com/profile/01189217040206642556noreply@blogger.com