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