Эзотерический язык программирования - Esoteric programming language

An эзотерический язык программирования (иногда сокращается до Esolang) это язык программирования разработан для проверки границ проектирования языков программирования, в качестве доказательства концепции, поскольку программное обеспечение, в качестве интерфейса для взлома другого языка (особенно функциональное программирование или процедурное программирование языков), или в шутку. Использование эзотерический отличает эти языки от языков программирования, которые работающие разработчики используют для написания программного обеспечения. Обычно создатели esolang не предполагают, что язык будет использоваться для основного программирования, хотя некоторые эзотерические функции, такие как зрительно-пространственный синтаксис,[1] вдохновили на практическое применение в искусстве. Такие языки часто популярны среди хакеры и любители.

Удобство использования редко является целью разработчиков эзотерических языков программирования - часто дизайн приводит к прямо противоположному. Их обычная цель - удалить или заменить традиционные языковые функции, сохраняя при этом язык, который Полный по Тьюрингу, или даже тот, для которого вычислительный класс неизвестно.

История

Самым ранним и до сих пор каноническим примером эзотерического языка был ИНТЕРКАЛ,[2] разработан в 1972 г. Дон Вудс и Джеймс М. Лайон с заявленным намерением отличаться от любого другого языка программирования, с которым были знакомы авторы.[3][4] Это пародируется элементы устоявшихся языков программирования дня, такие как Фортран, КОБОЛ, и язык ассемблера.

Многие годы INTERCAL был представлен только бумажными копиями руководства INTERCAL. Возрождение языка в 1990 году как реализация на C под Unix вызвали волну интереса к намеренному проектированию эзотерических компьютерных языков.

В 1993 г. Воутер ван Оортмерссен создал ЛОЖЬ, маленький стек-ориентированный язык программирования, с синтаксисом, предназначенным для того, чтобы код был запутанным, запутанным и нечитаемым. У него также есть компилятор всего на 1024 байта.[5] Это вдохновило Урбана Мюллера на создание еще более компактного языка, ныне печально известного ебать мозги, который состоит всего из восьми распознанных символов. Вместе с Крисом Пресси Befunge (как FALSE, но с двумерным указателем инструкций), brainfuck сейчас является одним из наиболее поддерживаемых эзотерических языков программирования. Это канонические примеры минимальных Брезент Тьюринга и излишне запутанные языковые функции. Brainfuck связан с П'' семья Машины Тьюринга.

Примеры

Befunge

Befunge позволяет указателю инструкции перемещаться в нескольких измерениях через код. Например, следующая программа отображает «Hello World», помещая символы в стек в обратном порядке, а затем печатая символы в цикле, который проходит по часовой стрелке по инструкциям. >, :, v, _, ,, и ^.

 "dlroW olleH">:v              ^,_@

Двоичное лямбда-исчисление

Двоичное лямбда-исчисление разработан из алгоритмическая теория информации Перспективы, позволяющие получить максимально плотный код с минимальными средствами, включая 29-байтовый самоинтерпретатор, 21-байтовое сито для простых чисел и 112-байтовый интерпретатор Brainfuck.

Brainfuck

Brainfuck разработан для крайнего минимализма и приводит к обфусцированному коду с программами, содержащими только восемь различных символов. Следующая программа выводит «Hello World!»:

++++++++++[>+++++++>++++++++++>+++<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.

ФРАКТРАН

А ФРАКТРАН программа представляет собой упорядоченный список положительных дробей вместе с исходным положительным целым числом. . Программа запускается путем умножения целого числа по первой дроби в списке, для которого целое число. Целое число затем заменяется на и правило повторяется. Если ни одна дробь в списке не дает целого числа при умножении на затем программа останавливается. ФРАКТРАН был изобретен математиком Джон Конвей.

GolfScript

Программы в GolfScript состоят из списков элементов, каждый из которых помещается в стек поскольку он встречается, за исключением переменных, которые имеют блоки кода в качестве своего значения, и в этом случае код выполняется.

ИНТЕРКАЛ

ИНТЕРКАЛ, сокращение от «Язык компилятора без произносимого акронима», был создан в 1972 году как пародия на высмеивание аспектов различных языков программирования того времени.[4]

JSFuck

JSFuck это эзотерический стиль программирования JavaScript, в котором код написан с использованием всего шести символов: [, ], (, ), !, и +. В отличие от Brainfuck, для которого требуется собственный компилятор или интерпретатор, JSFuck является допустимым кодом JavaScript, что означает, что программы JSFuck можно запускать в любом веб-браузере или движке, который интерпретирует JavaScript.[6][7]

ЛОЛКОД

ЛОЛКОД призван напоминать речь лолкот. Ниже приведен пример "Hello World":

HAICAN ЕСТЬ СТДИО? ВИДИМЫЙ "HAI WORLD!" KTHXBYE

LOLCODE часто критикуют за то, что он не очень эзотерический, а скорее обычный процедурный язык с необычным словарным запасом.[8]

Мальболге

Мальболге (8-й круг ада) был разработан как самый сложный и эзотерический язык программирования. Помимо других функций, код является самомодифицирующимся по своей конструкции, и действие инструкции зависит от ее адреса в памяти.

Пит

Программа Piet, которая печатает "Piet"
Программа "Hello World" в Пите

Пит это язык, разработанный Дэвид Морган-Мар, чьи программы растровые изображения это похоже абстрактное искусство.[9] Компиляция управляется «указателем», который перемещается по изображению от одной сплошной цветной области к другой. Процедуры выполняются, когда указатель покидает регион.

Существует 20 цветов, для которых задано поведение: 18 «красочных» цветов, которые упорядочены по 6-ступенчатому циклу оттенка и 3-ступенчатому циклу яркости; и черно-белые, которые не заказываются. При выходе из «красочного» цвета и входе в другой выполняемая процедура определяется количеством шагов изменения оттенка и яркости. Черные не могут быть введены; когда указатель пытается войти в черную область, вместо этого меняются правила выбора следующего блока. Если все возможные правила испробованы, программа завершается. Области за пределами изображения также обрабатываются как черные. Белый не выполняет операций, но позволяет указателю «пройти». Поведение цветов, отличных от указанных 20, остается на усмотрение компилятора или интерпретатора.

Переменные хранятся в памяти как целые числа со знаком в одном стек. Большинство указанных процедур имеют дело с операциями в этом стеке, другие - с вводом / выводом и правилами, по которым перемещается указатель компиляции.

Пит был назван в честь голландского художника. Пит Мондриан.[10] Первоначально предполагаемое имя, Мондриан, уже был принят за систему визуализации статистических данных с открытым исходным кодом.

Шекспир

Шекспир предназначен для придания программам вида шекспировских пьес. Например, следующий оператор объявляет точку в программе, которая может быть достигнута с помощью оператора типа GOTO:

Акт I: Оскорбления и лесть Гамлета.

Unlambda

Unlambda это минималистский функциональный язык программирования, основанный на Лыжный расчет, но в сочетании с первоклассным продолжения и императивный ввод / вывод (при вводе обычно требуется использование продолжений).

Пробел

Пробел использует только пробельные символы (пробел, табуляция и возврат), игнорируя все остальные символы, которые поэтому могут использоваться для комментариев. Это противоположно многим традиционным языкам, которые не различают разные символы пробелов и одинаково обрабатывают табуляцию и пробел. Он также позволяет скрывать программы Whitespace в исходном коде программ на таких языках, как C.

Культурный контекст

Культурный контекст эсолангов был изучен Джеффом Коксом, который пишет, что эсоланги «переключают внимание с командования и контроля на культурное выражение и отказ»,[11] рассматривая эсоланги как нечто похожее на искусство кода и поэзию кода, например Мез Бриз с мезангел. Дэниел Темкин описывает «мозговую ерунду» как «отказ ослабить границу между человеческим выражением и ассемблерным кодом и тем самым отправиться в нелепое путешествие логики»[12] разоблачение внутреннего конфликта между человеческим мышлением и компьютерной логикой. Он связывает программирование в esolang с выполнением оценки событий, таких как Fluxus движение, при котором разыгрывание правил логики в коде делает точку зрения языка ясной.[13]

использованная литература

  1. ^ Маклин, А., Гриффитс, Д., Коллинз, Н., и Виггинс, Г. (2010). «Визуализация живого кода». В Электронная визуализация и искусство, Лондон: 2010.
  2. ^ Мэтью Фуллер, Программные исследования, MIT Press, 2008 г.
  3. ^ Эрик С. Раймонд (1996). Словарь нового хакера. MIT Press. п. 258. ISBN  978-0-262-68092-9.
  4. ^ а б Вудс, Дональд Р .; Лион, Джеймс М. (1973), Справочное руководство по языку программирования INTERCAL, Muppetlabs.com, заархивировано с оригинал 20 февраля 2009 г., получено 24 апреля 2009
  5. ^ "Интервью с Воутером ван Оортмерссеном". esoteric.codes. 1 июля 2015 г.. Получено 1 декабря 2015.
  6. ^ Бейли, Джейн (29 февраля 2016 г.). «Торги по ценным бумагам». Ежедневный WTF. Получено 2 марта 2020.
  7. ^ "Изучение JSF * ck". alligator.io. Получено 2 марта 2020.
  8. ^ "LOLCODE # Критика". Esolangs.org. Получено 30 ноября 2015. LOLCODE часто критикуют за недостаточную эзотеричность. По дизайну LOLCODE на самом деле является нормальным процедурным языком, за которым стоит свой lulzy-синтаксис. Это разительно отличается от «настоящих» эсолангов, таких как Befunge, которые имеют двумерный синтаксис, почти похожий на игровой. По этой причине LOLCODE технически классифицируется как Weirdlang.
  9. ^ Морган-Мар, Дэвид (25 января 2008 г.). «Язык программирования Piet». Получено 18 мая 2013.
  10. ^ Кокс 2013, п. 6
  11. ^ Кокс 2013, п. 5
  12. ^ Темкин, Даниил (15 января 2014 г.). "Сбой && Взаимодействие человека и компьютера". НООАРТ: Журнал беспредметного искусства (1).
  13. ^ Темкин, Даниил. "ебать мозги". Журнал Медиа-Н (Весна 2013 г.). Получено 6 мая 2014.

дальнейшее чтение

внешние ссылки