The Lambda Calculus for Fun and Factorials
Описание
by Ron Garret
Bay Area Lisp and Scheme Meetup
http://balisp.org/
Sat 17 Oct 2015
Hacker Dojo
Mountain View, CA
Abstract
The lambda calculus is widely known but also widely misunderstood. It it considered by most coders to be nothing more than a theoretical curiosity and not really useful for anything by itself. In this talk, I show how to write a factorial function in pure lambda calculus, i.e. using nothing but lambdas, in a way that is actually efficient enough to compute the factorial of ten in a few seconds. Seeing how this is done can provide deep insights into functional programming, compilation, and other useful programming techniques like CPS-conversion.
Notes
The camera used to record the sound and video of the speaker during this presentation stopped about every twelve minutes, so there are three gaps of a few seconds each in this video. Also, it overheated right at the end, so the end is abrupt.
Рекомендуемые видео
