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

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

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

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

ИсторияПравить

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

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

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

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

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

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

ПримерыПравить

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

• Curl
• Io
• Ioke^[en]
• Julia
• Лисп, а также его диалекты:
  • Scheme,
  • Clojure,
  • Racket
• Пролог
• Rebol
• Red
• Снобол
• Tcl
• XSLT
• Рефал
• Wolfram Language

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

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

Лисп использует 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

См. такжеПравить

• Конкатенативный язык программирования
• Когнитивные измерения, принципы проектирования для синтаксисов языков программирования
• Языково-ориентированное программирование