Показать меню

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

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

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

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

История

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

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

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

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

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

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

Примеры

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

  • Curl
  • Io
  • Ioke
  • 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
Еще по этой теме:
Дизассемблер
14:00, 26 май
Дизассемблер
Дизассемблер (от англ. disassembler [ˌdɪsəˈsɛmblə(r)]) — транслятор, преобразующий машинный код, объектный файл или библиотечные модули в текст программы на языке ассемблера. По режиму работы с
ARexx
06:00, 23 февраль
ARexx
ARexx — диалектом язык программирования REXX для компьютеров Amiga, разработан в 1987 году программистом Уильямом С. Хоузом из компании Wishful Thinking Development, с целом рядом функций выходящих
Versa
14:38, 09 декабрь
Versa
Эта статья о языке запросов. Возможно, вы искали автомобиль Nissan Versa Versa — язык запросов к данным в Resource Description Framework. Это компактный функциональный язык программирования,
Правило одного определения
05:26, 05 декабрь
Правило одного определения
Правило одного определения (One Definition Rule, ODR) — один из основных принципов языка программирования C++. Назначение ODR состоит в том, чтобы в программе не могло появиться два или более
Ҙ
11:39, 03 декабрь
Ҙ
Ҙ, ҙ — буква расширенной кириллицы, в Юникоде называемая З с нижним выносным элементом. 7-я буква башкирского алфавита, где означает звонкий межзубый звук [ð]. При произношении данного согласного,
Представление в виде функциональной поверхности (часть 1)
14:15, 13 март
Представление в виде функциональной поверхности (часть 1)
Как было сказано выше, изменение свойства в пространстве можно представить в виде так называемой функциональной поверхности - массива данных с координатами х, у, определяющими местоположение точки
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail: