| esolanguages 2 |
[Apr. 13th, 2011|10:55 pm] |
Еще два:
Memfractal - каждой копии программы доступен один бит памяти, но копии эти могут невозбранно рекурсивно саморазмножаться.
Clue - язык, основанный на функциях, каковые задаются в виде примеров (парами "аргумент-значение") и оцениваются компилятором. У меня и у самого была точно такая же идея. Утверждаю, что такие языки невычислимы, поскольку функции, которые надо оценить, в общем случае - частичные рекурсивные функции, а их оценивание было бы эквивалентно решению проблемы остановки (там еще есть недописанный язык Lazy, который пытается задавать такие функции напрямую %) ). Намного интереснее было бы посмотреть на применимость подобного языка для какого-то более узкого класса алгоритмов. Ежели раздуплюсь, попытаюсь подумать над этим. |
|
|