Обсуждение:Тьюринговская трясина
Последнее сообщение: 13 лет назад от Fluffy86 в теме «Примеры: ОРИСС»
Примеры: ОРИСС править
Статья о сленговом выражении - уже грустно, но раздел "примеры" меня смущает вдвойне. Ладно ещё OISC c брейнфаками, но каким образом там unlambda и нетипизированное λ-исчисление? Вы знаете, в функциональных языках принципиально другая вычислительная система, которая к Тьюрингу и вычислимости по Тьюрингу довольно слабое отношение имеет. Более того, нетипизированное λ-исчисление - это не язык программирования. Помечаю как ОРИСС, хотелось бы обсудить. – Fluffy86 23:36, 11 сентября 2010 (UTC)