June 11th, 2007

with Cat The Cat

Из разговоров на работе

- "Решить проблему" означает прийти в состояние, когда эта проблемы не задевает. Стремление решить проблему, поэтому, означает движение в этом направлении. Поэтому стремление решить проблему "куда я попаду после смерти" означает движение к состоянию, когда эта проблема задевать не будет.
- К смерти.

Ocean's thirteen сегодня оказался лучше, чем я боялся вчера. Веселенькое все такое.
with Cat The Cat

Чтобы ссылаться.


Lisp uses a variant of lambda notation for defining functions, but only its
purely functional subset is really equivalent to lambda calculus. Strictly
speaking, this holds only for modern dialects of Lisp, such as Common Lisp and
Scheme programming language. More archaic Lisps, such as Emacs Lisp, still use
dynamic binding, and so are not based on the lambda calculus. Rather, they are
based on the syntax of the lambda calculus, together with a misunderstanding
of the notion of binding and substitution in the lambda calculus.
Interestingly, by McCarthy's own account(1978), Lambda Calculus had little
impact on the development of LISP other than the lambda notation.
"To use functions as arguments, one needs a notation for functions, and it
seemed natural to use the λ-notation of Church (1941). I didn't
understand the rest of his book, so I wasn't tempted to try to implement his
more general mechanism for defining functions."
К "функциональности" Лиспа.

Чтобы раз, и навсегда. ;)