Рыцари лямбда-исчисления
Рыцари лямбда-исчисления — это полувымышленная организация экспертов по Lisp и Scheme хакеров- . Название относится к лямбда-исчислению , математическому формализму, изобретенному Алонзо Чёрчем , с которым Лисп тесно связан, и отсылает к тамплиерам .
Не существует реальной организации под названием « Рыцари лямбда-исчисления» ; в основном он существует только как хакерской культуре шутка о . Концепция, скорее всего, зародилась в Массачусетском технологическом институте . Например, в Структура и интерпретация компьютерных программ» видеолекциях « . Джеральд Джей Сассман показывает аудитории кнопку, говоря, что теперь они являются членами этой особой группы Однако, согласно Jargon File , «известный LISPer» раздавал значки с символами рыцарей на них, а некоторые люди утверждали, что являются членами рыцарей. [1]
В популярной культуре [ править ]
Группа, которая развилась из них или подобна им, под названием «Рыцари восточного исчисления» , широко появляется в аниме- сериале «Serial Experiments Lain» , логотип которого является отсылкой к масонству . Ссылки на профессоров Массачусетского технологического института и других американских ученых-компьютерщиков заметны в 11 серии сериала. В какой-то момент аниме Лэйн показана с кодом, отображаемым на ее портативном устройстве, который выглядит как Lisp. [2]
Ссылки [ править ]
- ^ Рэймонд, Эрик. «Рыцари лямбда-исчисления» . Файл жаргона . Проверено 1 апреля 2015 г.
- ^ «Аниме-клуб MIT :: Появление MIT в аниме» . Архивировано из оригинала 31 января 2020 года.
 | Эта компьютерному программированию, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |