imported>Lê Lợi (bot): Автодевикификация Шаблон:Языки программирования.

2025-12-03T11:40:49Z

Автодевикификация Шаблон:Языки программирования.

Новая страница

{{значения|Icon (значения)}}
{{Карточка языка программирования
|name = Icon
|logo = iconlogo.gif
|semantics = [[Мультипарадигменный язык программирования|мультипарадигменный]]: [[Императивное программирование|императивный]], [[Логическое программирование|логический]]
|class= интерпретатор
|year = [[1974]]
|designer = [[Ralph E. Griswold]]
|typing = динамическая
|implementations = Icon, Jcon, [[Unicon]]
|influenced_by = [[Снобол]], [[Algol]]
|influenced = [[Python]]
}}

{{Карточка программы
| name = Icon
| logo =
| screenshot = Icon-pl.png
| caption = Скриншот WinIcon v.9.3.2, запущен пример VQUEENS.ICN, часть IPL.
| genre = [[Транслятор]]
| developer = [[Ralph E. Griswold]], [[Gregg Townsend]]
| operating_system = [[Unix]] (тестируются сборки под [[Linux]] и [[BSD]]), [[MacOS]] и [[Microsoft Windows]] с [[Cygwin]]
| latest_release_version = 9.5.1
| latest_release_date = [[6 июня]], [[2013]]
| latest_preview_version =
| latest_preview_date =
| license = [[GNU General Public License|GNU GPL]]
| website = http://www.cs.arizona.edu/icon/
}}

{{Карточка программы
| name = Unicon
| logo =
| screenshot = UniconIDE.png
| caption = Скриншот UniconIDE v.12.0.2
| genre = [[Транслятор]]
| developer = [[Clint Jeffery]]
| operating_system = [[Linux]] и [[Microsoft Windows]]
| latest_release_version = 12.1.0<ref>{{Cite web |url=http://sourceforge.net/projects/unicon/files/ |title=Unicon Sourceforge |access-date=2013-03-26 |archive-date=2012-09-10 |archive-url=https://web.archive.org/web/20120910010239/http://sourceforge.net/projects/unicon/files/ |url-status=live }}</ref>
| latest_release_date = [[27 августа]] [[2012]]
| latest_preview_version =
| latest_preview_date =
| license = [[GNU General Public License|GNU GPL]]
| website = http://unicon.sf.net/
}}

'''Icon''' — язык программирования, унаследовавший идеологию более раннего языка того же автора [[Снобол]]. Название языка не имеет ничего общего с «иконками», а является сокращением от слова {{lang-en|iconoclastic}} (иконоборческий), используемом в смысле борьбы с конформизмом в разработке языков программирования.

Это [[сверхвысокоуровневый язык программирования]], в который интегрированы механизмы [[Сопоставление с образцом|сопоставления с образцом]] и [[бэктрекинг]]а, что сближает его с языками [[логическое программирование|логического программирования]].

Язык является динамически типизированным, имеет встроенные мощные типы данных. Процедуры в Icon’е относятся к величинам первого класса ({{lang-en|first class values}}), что означает возможность [[присваивание (программирование)|присваивания]] переменным значений самих процедур, а не результатов их выполнения. Существует механизм совыражений ({{lang-en|co-expression}}), позволяющий создавать [[сопрограмма|сопрограммы]].

== Базовый синтаксис ==
Синтаксис Icon унаследован у семейства языков программирования [[Algol]] и напоминает синтаксис языков [[C (язык программирования)|C]] или [[Pascal]]. На Паскаль Icon похож больше, он использует для присваивания знак <code>:=</code>, ключевое слово <code>procedure</code> и т. п. С другой стороны Icon использует фигурные скобки в C-стиле для группировки операторов языка, а работа программы начинается с процедуры с именем «main».

Процедуры — основной строительный блок Icon-программ, однако, в отличие от процедур в Паскале, они (подобно функциям Си и Паскаля) могут возвращать значения; ключевого слова <code>function</code> в Icon нет.

<code>
procedure doSomething(aString)
write(aString)
end</code>

== Целенаправленное выполнение ==
Любое предложение (оператор) языка Icon на самом деле является выражением и может возвращать значения. Выражения в Icon, помимо собственно возвращаемых ими значений, которых может быть любое количество, производит одно из двух состояний — ''успех'' {{lang-en|success}} или ''неудачу'' {{lang-en|failure}}. Успех или неудача выражений используются вместо булевых значений управляющими структурами Icon. Благодаря этому мы можем писать конструкции типа:

<code>if a := read() then write(a)</code>

Более того, поскольку состояние «неудачи» имеет свойство «всплывать» из вложенных вызовов функций, становясь результатом внешней функции, можно использовать ещё более краткие идиомы, вроде:

<code>while write(read())</code>

для чтения потока ввода и дублирования его в поток вывода (echo).

Операции сравнения, такие <code>></code> и <code><</code>, могут быть успешны и производить результат, равный значению их второго аргумента, или неудачны, и не производить никакого результата. Благодаря этому в Icon можно писать выражения типа <code>if a < b < c then</code> ….

Связанная с успехом и неудачей концепция называется в Icon ''целенаправленным выполнением'' {{lang-en|goal-directed execution}}. Это способ, благодаря которому вычисление может продолжаться, пока не будет достигнута некая цель. В вышеприведённом примере с echo цель — чтение всего содержимого файла на входе, пока не будет встречен конец файла. Цель задаётся непосредственно, а не с помощью дополнительных проверок кодов возврата или чего то подобного. Целенаправленное вычисление реализуется с помощью [[бэктрэкинг]]а, это очень мощный механизм.

== Генераторы ==
Серьёзным нововведением языка являются генераторы, обобщающие механизма итераторов<ref>{{Книга|автор = Michael Lee Scott|заглавие = Programming Language Pragmatics|ссылка = https://archive.org/details/programminglangu00scot_154|ответственный = |издание = III ed.|место = |издательство = Morgan Kaufmann|год = 2009|страницы = [https://archive.org/details/programminglangu00scot_154/page/268 268]|страниц = 941|isbn = 9780080922997|часть = 6.5.4. Generators in Icon}}</ref>. Именно из айкона идея генераторов попала в такие языки, как [[Python]]<ref>{{Книга|автор = Steve Holden, David M. Beazley|заглавие = Python Web Programming|ответственный = |издание = |место = |издательство = Sams Publishing|год = 2002|страницы = 612|страниц = 691|isbn = 9780735710900|ссылка часть = https://books.google.ru/books?id=NmkD220i9KsC&pg=PA612|часть = App. 2. Change since Python 2.0}}</ref>.

Thomas W. Christopher, автор Icon Programming Language Handbook пишет: «Самое большое различие между Icon и другими языками программирования — это то, что выражения в Icon — генераторы».

Пример использования генератора:

procedure main()
L:=["1","22","333"] # Список строк
every writes(" ",! L)
end
----
Выход: 1 22 333

== Влияние на последующие языки ==
Языки Icon и [[Снобол]] послужили своего рода полигоном для отработки некоторых [[идиома|идиом]] программирования, особенно это касается конструкций, содержащих <code>&&</code> или <code>||</code> и первым языком, использующим [[регулярные выражения]] (хотя и в форме, отличающейся от ныне принятой). Впоследствии эти механизмы были использованы в [[Unix]]-среде, в языках [[Си (язык программирования)|C]], [[AWK]] и [[Perl]].

Вот пример подобной идиомы:

[ $ringing != 0 ]&&echo Phone ringing!!!


Другой пример, пусть есть конструкция в [[Оболочка операционной системы|shell]]:

<source lang="bash">xview -root `gtk-shell -t "Which image?" -fs`</source>

Даже если вы не выберете имя файла-картинки, [[xview]] все равно
будет запущен. А в языке Icon этого никогда бы не произошло.

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

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

== Реализация и диалекты ==
Авторская реализация Icon, написанная в [[Университет Аризоны|Аризонском Университете]] (т. н. ''аризонский icon'') распространяется в соответствии с лицензией [[GPL|GNU GPL]].

Icon 9.3 (последняя версия имеющая нативную поддержку [[Windows]]) была реализована как компилятор в [[байт-код]] с генерацией исполняемого файла содержащего интерпретатор этого байт-кода. Начиная с версии 9.4 аризонский Icon реализован как классический [[скриптовый язык]] [[Unix]].

После смерти автора языка, разработка классического аризонского айкона долгое время была заморожена, предпоследняя версия Icon v.9.4.3 была выпущена [[14 ноября]] [[2005]], однако в настоящее время его поддержка возобновлена его учеником Грегом Таунсендом. [[12 апреля]] [[2010]] выпущена новая версия транслятора.

Активно развивающейся ветвью Icon является язык {{iw|Unicon}},
транслятор которого основан на его коде, и также распространяемый под лицензией [[GNU GPL]]. Это объектно-ориентированный диалект языка, с улучшенной интеграцией с окружающей средой [[Операционная система|ОС]], включая, к примеру, поддержку взаимодействия с [[БД]]. Подобно icon v.9.3, Unicon — это транслятор, ориентированный на генерацию исполняемых файлов.

Продолжает развиваться диалект ObjectIcon, базирующийся на ранних версиях Unicon и являющийся форком последнего. ObjectIcon, как следует из названия, является расширенной объектно-ориентированной версией Icon, в частности, в отличие Unicon, в ObjectIcon есть модификаторы полей доступа к методам. В ObjectIcon сильно изменён состав библиотек (большая часть IPL была сильно переработана — некоторые модули были удалены, были полностью изменены графические библиотеки.), добавлена поддержка Unicode, поддержка пространств имён, добавлены множественное наследование и автоматическая инициализация констант и переменных — и теперь это современный и мощный ООП-язык. Разрабатывается Робертом Парлеттом и распространяется по [[Лицензии MIT|MIT]] лицензии. Доступен к загрузке на [[SourceForge]], работает в среде Linux/Unix.

== Языки-потомки ==
Laurence Tratt, один из разработчиков Icon 9.5 и ObjectIcon, также является автором спроектированного по похожим принципам языка [[Converge (язык программирования)|Converge]]<ref>{{Статья|автор=Laurence Tratt|заглавие=Experiences with an Icon-like Expression Evaluation System|ссылка=http://tratt.net/laurie/research/pubs/html/tratt__experiences_with_an_icon_like_expression_evaluation_system/|издание=Proceedings of the 6th Symposium on Dynamic Languages|место=New York, NY, USA|издательство=ACM|год=2010-01-01|страницы=73–80|isbn=9781450304054|doi=10.1145/1869631.1869640|archive-date=2016-08-14|archive-url=https://web.archive.org/web/20160814020859/http://tratt.net/laurie/research/pubs/html/tratt__experiences_with_an_icon_like_expression_evaluation_system/}}</ref>.

В 2015 году Грегом Таунсенд представил язык Goaldi (от ''Goal Direction''). Это объектно-ориентированный язык, реализованный на [[Go]], и унаследовавший многие черты Icon. В нём реализованы [[Замыкание (программирование)|замыкания]], [[параллельное программирование]], поддержка пространств имён и работа с [[юникод]]ом. При этом в нём отсутствуют такие черты айкона, как сканирование строк в качестве базовой операции языка (взамен используется сравнение с обычными [[Регулярные выражения|регулярными выражениями]] на уровне функций) и связанные с ней такие типы данных, как множество символов, остсутствует арифметика произвольной точности, а ошибки не преобразуются в обрабатываемые бэктрекингом неудачи, но обрабатываются механизмом [[Обработка исключений|исключений]]<ref>{{GitHub|proebsting|goaldi|Goaldi}}</ref>.

== Литература ==
* {{Книга|автор = Ralph E. Griswold and Madge T. Griswold|заглавие = The Icon Programming Language|ответственный = |издание = Third Edition|место = |издательство = Peer-to-Peer Communications|год = 1996|страницы = |страниц = |isbn = 1-57398-001-3|ссылка = http://www.cs.arizona.edu/icon/ftp/doc/lb1up.pdf|ref = Griswold|access-date = 2016-01-05|archive-date = 2016-03-06|archive-url = https://web.archive.org/web/20160306121851/http://www.cs.arizona.edu/icon/ftp/doc/lb1up.pdf|url-status = dead}}
* {{Книга|автор = Ralph E. Griswold, Clinton L. Jeffery, and Gregg M. Townsend|заглавие = Graphics Programming in Icon|ответственный = |издание = |место = |издательство = Peer-to-Peer Communications|год = 1998|страницы = |страниц = |isbn = 1-57398-009-9|ссылка = http://www.cs.arizona.edu/icon/ftp/doc/gb1up.pdf|ref = Griswold|access-date = 2016-01-05|archive-date = 2016-03-06|archive-url = https://web.archive.org/web/20160306093158/http://www.cs.arizona.edu/icon/ftp/doc/gb1up.pdf|url-status = dead}}
* {{Книга|автор = Ralph E. Griswold and Madge T. Griswold|заглавие = The Implementation of the Icon Programming Language|ответственный = |издание = |место = |издательство = Princeton University Press|год = 1986|страницы = |страниц = |isbn = 0-691-08431-9,|ссылка = http://www.cs.arizona.edu/icon/ftp/doc/ib1up.pdf|ref = Griswold|access-date = 2016-01-05|archive-date = 2016-03-05|archive-url = https://web.archive.org/web/20160305123148/http://www.cs.arizona.edu/icon/ftp/doc/ib1up.pdf|url-status = dead}}
* {{Книга|автор = Alan D. Corré|заглавие = Icon Programming for Humanists|ответственный = |издание = |место = |издательство = Goal-Directed Press|год = 2010|страницы = |страниц = |isbn = |ссылка = http://www2.cs.uidaho.edu/~jeffery/icon/humanists/humanist.pdf|ref = Corré|archive-url=https://web.archive.org/web/20160304213743/http://www2.cs.uidaho.edu/~jeffery/icon/humanists/humanist.pdf|archive-date=2016-03-04}}
* {{Книга|автор = Thomas W. Christopher|заглавие = Icon Programming Language Handbook|ответственный = |издание = |место = |издательство = Tools of Computing|год = 1996|страницы = |страниц = |isbn = |ссылка = http://www.tools-of-computing.com/tc/CS/iconprog.pdf|ref = Christopher|archive-url=https://web.archive.org/web/20070731184607/http://www.tools-of-computing.com/tc/CS/iconprog.pdf|archive-date=2007-07-31}}
* {{Книга|автор = Peter H. Salus|заглавие = HPL: Vol. II: Imperative Programming Languages|ответственный = |издание = |место = |издательство = Macmillan Technical Publishing|год = 1998|страницы = |страниц = |isbn = 9781578700097|серия = Handbook of Programming Languages|ref = Salus|часть = PART V—Icon}}
* {{Статья|автор = O. Richard Fonnorow|заглавие = Users Press Icon into Commercial Service|ссылка = https://books.google.ru/books?id=O90MzD9_kawC&pg=PA75|язык = |издание = Computerworld|тип = |год = 1985|месяц = ноября|число = 18|том = |номер = |страницы = 75—92|issn = |archive-date = 2016-03-04|archive-url = https://web.archive.org/web/20160304195050/https://books.google.ru/books?id=O90MzD9_kawC&pg=PA75}}
* {{Книга|автор=О. Г. Чанышев|заглавие=Основные элементы языка программирования Icon|ответственный=|издание=|место=Омск|издательство=Изд-во [[ОмГУ]]|год=2004|страницы=|страниц=55|isbn=5-7779-0523-4}}
* {{Статья|автор=O. Richard Fonorow|заглавие=Users Press Icon into Commercial Services|ссылка=https://books.google.ru/books?id=O90MzD9_kawC&lpg=PA86|язык=|издание=[[Computerworld]]|тип=|год=1985|месяц=11|число=18|том=XIX|номер=46|страницы=85—92|issn=|archive-date=2019-01-27|archive-url=https://web.archive.org/web/20190127035428/https://books.google.ru/books?id=O90MzD9_kawC&lpg=PA86}}

== Примечания ==
{{примечания}}

== Ссылки ==
* [http://www.cs.arizona.edu/icon/ www.cs.arizona.edu/icon] {{Wayback|url=http://www.cs.arizona.edu/icon/ |date=20070518230808 }} — Официальный сайт языка
* [http://progopedia.ru/language/icon/ Энциклопедия языков программирования] {{Wayback|url=http://progopedia.ru/language/icon/ |date=20120519092930 }} — Icon в Прогопедии
* [https://blog.lhs.su/category/programming/iconlang/ Записки пользователя Icon] Блог, посвященный Icon и языку программирования D

=== Диалекты и дистрибутивы ===
* {{sourceforge|unicon|Unicon}}.
* {{sourceforge|objecticon|ObjectIcon}}


[[Категория:Свободные компиляторы и интерпретаторы]]

Icon (язык программирования) - История изменений

imported>Lê Lợi (bot): Автодевикификация Шаблон:Языки программирования.