История и методология информатики и вычислительной техники. Парфенов П.С. - 133 стр.

UptoLike

Составители: 

135
Befunge
Язык Befunge также был создан в 1993 г., но целью ставилась
разработка языка, для которого невозможно создать компилятор.
Программа записывалась в виде двумерной таблицы, в каждой ячейке
которой размещалась команда в виде отдельного символа. По таблице
пошагово перемещался указатель команд, который при достижении
границы таблицы переходил на противоположный край, будто таблица
свернута в тор. Сама программа имела возможность самомодификации.
Тем не менее, вскоре было создано несколько компиляторов и для такого
языка (это напоминает периодически появляющиеся новости об
очередном взломе хакерами разных «невзламываемых» кодов).
Java2k [9.9]
Java2k вероятностный, недетерминированный язык
программирования. Разработчики заявляют, что придумали язык Java2k
потому, что «обычная java это уныло», но также добавляют, что язык
заставляет программистов разрабатывать методы достижения большей
вероятности получения правильного результата, т.е. попытаться написать
программу, выдающую предсказуемый результат при непредсказуемом
алгоритме. По утверждению разработчиков, это согласуется с
физическим представлением о природе вселенной, в которой нет полной
предопределенности, а всегда есть вероятность. Все встроенные
функции языка имеют две реализации, и во время работы они
выбираются с вероятностью 90% и 10%, для чего задействован генератор
случайных чисел. При таком методе программа при каждом запуске
работает по-разному. Не менее случайно работает очистка памяти она
освобождается или при выходе программы, или через произвольные
моменты времени (смотря что случится раньше).
В настоящее время такой язык, разумеется, не может
использоваться для создания практических приложений. Но задача,
поднимаемая языком, чем-то близка к проблеме разработчиков
квантовых компьютеров, правильный ответ в которых также возникает с
определенной вероятностью.