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.
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «The Lambda Calculus for Fun and Factorials», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.