Гомоиконичность

Гомоикони́чность (гомоиконность, англ. homoiconicity, англ. homoiconic, от греч. ὁμός — равный, одинаковый + «икони́чность» — отношение подобия между знаком и объектом, на который данный знак указывает (см. семиотика) — в свою очередь, от ср.-греч. εἰκόνα — «о́браз», «изображение») — свойство некоторых языков программирования, в которых структура программы похожа на его синтаксис, и поэтому внутреннее представление программы можно определить, прочитав текстовую разметку[1]. Если язык гомоиконичен, это означает, что текст программы имеет такую же структуру, как её абстрактное синтаксическое дерево (то есть AST и синтаксис являются изоморфными). Это позволяет всему коду на языке быть доступным и обработанным в качестве данных, используя одно и то же представление.

В гомоиконичном языке первичное представление программ является также структурой данных в примитивном типе самого языка. Это делает метапрограммирование проще, чем на языке без этого свойства, поскольку код может рассматриваться как данные: рефлексия в языке (определение структуры программы во время выполнения) основана на единой, однородной структуре, и не нужно обрабатывать несколько различных конструкций, которые возникают в сложных синтаксических конструкциях. Говоря иначе, гомоиконичность — это когда исходный код программы пишется как базовая структура данных и язык программирования знает, как получить к ней доступ.

Типичным примером является язык программирования Лисп, который был создан, чтобы быть лёгким для списочных манипуляций, и где структура задана как S-выражения, которые принимают форму вложенных списков. Лисп-программы записываются в виде списков; в результате получается, что программа может получить доступ к своим собственным функциям во время работы, а также перепрограммировать себя «на лету». Гомоиконичные языки, как правило, включают полную поддержку синтаксических макросов, позволяющих программисту выражать программные преобразования в сжатой форме. Примерами таких языков программирования являются Clojure (современный диалект Лиспа), Rebol и Рефал.

История

Термин впервые упоминается в статье 1960 года Дага Макилроя[2], на которую в свою очередь сослались в работе 1965 года Кельвин Моурс И Петер Дойч, в которой свойство представили как ключевое для разработанного ими языка программирования TRAC[3].

Алан Кэй использовал и, возможно, популяризировал термин «гомоиконичность», использовав его в кандидатской диссертации относительно соответствующих свойств Лиспа и языка TRAC[4], отметив при этом издержки удобочитаемости программ при таком подходе: «программы, написанные на них, выглядят как письмо короля Бурна-Буриаш к шумерам, напечатанном вавилонской клинописью».

Применения, преимущества и недостатки

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

Простота, которая позволяет это, также является недостатком: по крайней мере, в случае лисп-подобных спискоориентированных языков, это может избавить от многих визуальных подсказок, которые помогают людям визуально разбирать конструкции языка, и это может привести к возрастанию кривой обучения для языка[5]. См. также эссе «Проклятие Лиспа»[6] где описываются недостатки.

Типичной демонстрацией гомоиконичности является метациркулярный вычислитель.

Примеры

Гомоиконичные языки программирования:

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

Гомоиконичность в Лиспе

Лисп использует S-выражения в качестве внешнего представления данных и кода. S-выражения могут быть прочитаны с помощью примитивной функции READ, которая возвращает базовые Лисп-типы: списки, символы, числа, строки. Примитивная функция Лисп EVAL использует этот код, представленный как данные Лиспа, вычисляя побочные эффекты и возвращая результат.

Пример данных в Лиспе — список, который использует различные типы данных: (под)списки, символы, строки и целые числа:

((:name "john" :age 20) (:name "mary" :age 18) (:name "alice" :age 22))

Код на Лиспе. Пример использует списки, символы и цифры:

(* (sin 1.1) (cos 2.03))      ; in infix: sin(1.1)*cos(2.03)

Создание такого выражения с помощью примитивной функции LIST и присвоение результата в переменную expression:

(setf expression  (list '* (list 'sin 1.1) (list 'cos 2.03)) )  
-> (* (SIN 1.1) (COS 2.03))    ; Lisp returns and prints the result

(third expression)    ; the third element of the expression
-> (COS 2.03)

Замена терма COS на SIN:

(setf (first (third expression)) 'SIN)
; The expression is now (* (SIN 1.1) (SIN 2.03)).

Выполнить выражение:

(eval expression)
-> 0.7988834

Вывести это выражение в строку:

(print-to-string expression)
->  "(* (SIN 1.1) (SIN 2.03))"

Вычитать выражение из строки:

(read-from-string "(* (SIN 1.1) (SIN 2.03))")
->  (* (SIN 1.1) (SIN 2.03))     ; returns a list of lists, numbers and symbols

См. также

Примечания
  1. Дэвид А. Уилер. Readable Lisp S-expressions.
  2. Дуглас Макилрой (1960) Macro Instruction Extensions of Compiler Languages
  3. C. N. Mooers, L. P. Deutsch (1965) TRAC, A Text-Handling Language
  4. Алан Кэй (1969) The Reactive Engine, PhD thesis (Accessed 20061229)
  5. Homoiconic languages Архивная копия от 2 февраля 2013 на Wayback Machine, in true Blue blog at Oracle
  6. The Lisp Curse, at Winestock Webdesign
  7. Homoiconic Languages
  8. Metaprogramming in Julia (недоступная ссылка). Дата обращения: 20 ноября 2016. Архивировано 4 мая 2013 года.
  9. Shapiro, Ehud Y.; Sterling, Leon. The art of Prolog: advanced programming techniques (англ.). — Cambridge, Mass: MIT Press, 1994. — ISBN 0-262-19338-8.
  10. S. Ramsay and B. Pytlik-Zillig, Code-Generation Techniques for XML Collections Interoperability Архивная копия от 3 марта 2016 на Wayback Machine, Digital Humanities 2012 conference proceedings.
  11. Language Notes for Programming Language Experts (недоступная ссылка)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.