(let ((let '`(let ((let ',let)) ,let))) `(let ((let ',let)) ,let))
@ulidtko: ↓ кто-нибудь и правда до сих пор верит, что мир написан на ВОТ ЭТОМ?
Квайн?
НАЛИСПЕ
((lambda (x) `(,x ',x)) '(lambda (x) `(,x ',x))) ПРОСТО И ПОНЯТНО
ДАУЖ ПОЛУТШЕ ТОГО ЧТО БЫЛО
А-А-А-А, ДЕВИД БЛЕЙН, РАСКУКОЖЬ РЕДУКЦИЮ Ω
%% это не квайн, есличо http://en.wikipedia.org/wiki/Fixed_point... %%%% λx.xx λx.xx — это, как его часто называют, Ω, терм лямбда-исчисления, не имеющий конечной редукции и, соответственно, нормальной формы. Так-то. %%
вот так всегда, блядь :\Forever alone computer scientist.
ПРОСТО ЛЯМБДА-ИСЧИСЛЕНИЕ СЛИШКОМ МЭЙНСТРИМНО
ТАК ВОТ ПОЧЕМУ SCALA ЛУЧШЕ ЖАБКИ!
БУДЬ ИНДЕ, ПИШИ НА ПЕХОПЕ
лол ок
12 comments
recommend
bookmark
subscribe
Квайн?
НАЛИСПЕ
((lambda (x) `(,x ',x)) '(lambda (x) `(,x ',x))) ПРОСТО И ПОНЯТНО
ДАУЖ ПОЛУТШЕ ТОГО ЧТО БЫЛО
А-А-А-А, ДЕВИД БЛЕЙН, РАСКУКОЖЬ РЕДУКЦИЮ Ω
%% это не квайн, есличо http://en.wikipedia.org/wiki/Fixed_point... %%
%% λx.xx λx.xx — это, как его часто называют, Ω, терм лямбда-исчисления, не имеющий конечной редукции и, соответственно, нормальной формы. Так-то. %%
вот так всегда, блядь :\
Forever alone computer scientist.
ПРОСТО ЛЯМБДА-ИСЧИСЛЕНИЕ СЛИШКОМ МЭЙНСТРИМНО
ТАК ВОТ ПОЧЕМУ SCALA ЛУЧШЕ ЖАБКИ!
БУДЬ ИНДЕ, ПИШИ НА ПЕХОПЕ
лол ок