Icon (язык программирования)
Icon — язык программирования, унаследовавший идеологию более раннего языка того же автора Снобол. Название языка не имеет ничего общего с «иконками», а является сокращением от слова англ. iconoclastic (иконоборческий), используемом в смысле борьбы с конформизмом в разработке языков программирования.
Icon | |
---|---|
![]() | |
Семантика | мультипарадигменный: императивный, логический |
Класс языка | язык программирования |
Тип исполнения | интерпретатор |
Появился в | 1974 |
Автор | Ralph E. Griswold |
Выпуск | |
Система типов | динамическая |
Основные реализации | Icon, Jcon, Unicon |
Испытал влияние | Снобол, Algol |
Повлиял на | Python |
Сайт | cs.arizona.edu/icon |
Icon | |||
---|---|---|---|
![]() Скриншот WinIcon v.9.3.2, запущен пример VQUEENS.ICN, часть IPL. | |||
Тип | Транслятор | ||
Разработчики | Ralph E. Griswold, Gregg Townsend | ||
Операционные системы | Unix (тестируются сборки под Linux и BSD), MacOS и Microsoft Windows с Cygwin | ||
Первый выпуск | 1977 | ||
Последняя версия | 9.5.1 (6 июня, 2013) | ||
Тестовая версия |
|
||
Репозиторий | github.com/gtownsend/icon | ||
| |||
| |||
Лицензия | GNU GPL | ||
Сайт | cs.arizona.edu/icon/ |
Unicon | |||
---|---|---|---|
![]() Скриншот UniconIDE v.12.0.2 | |||
Тип | Транслятор | ||
Разработчик | Clint Jeffery | ||
Операционные системы | Linux и Microsoft Windows | ||
Первый выпуск | 1977 | ||
Последняя версия | 12.1.0[3] (27 августа 2012) | ||
Тестовая версия |
|
||
Репозиторий | github.com/gtownsend/icon | ||
| |||
| |||
Лицензия | GNU GPL | ||
Сайт | unicon.sf.net |
Это сверхвысокоуровневый язык программирования, в который интегрированы механизмы сопоставления с образцом и бэктрекинга, что сближает его с языками логического программирования.
Язык является динамически типизированным, имеет встроенные мощные типы данных. Процедуры в Icon’е относятся к величинам первого класса (англ. first class values), что означает возможность присваивания переменным значений самих процедур, а не результатов их выполнения. Существует механизм совыражений (англ. co-expression), позволяющий создавать сопрограммы.
Базовый синтаксис
правитьСинтаксис Icon унаследован у семейства языков программирования Algol и напоминает синтаксис языков C или Pascal. На Паскаль Icon похож больше, он использует для присваивания знак :=
, ключевое слово procedure
и т. п. С другой стороны Icon использует фигурные скобки в C-стиле для группировки операторов языка, а работа программы начинается с процедуры с именем «main».
Процедуры — основной строительный блок Icon-программ, однако, в отличие от процедур в Паскале, они (подобно функциям Си и Паскаля) могут возвращать значения; ключевого слова function
в Icon нет.
procedure doSomething(aString)
write(aString)
end
Целенаправленное выполнение
правитьЛюбое предложение (оператор) языка Icon на самом деле является выражением и может возвращать значения. Выражения в Icon, помимо собственно возвращаемых ими значений, которых может быть любое количество, производит одно из двух состояний — успех англ. success или неудачу англ. failure. Успех или неудача выражений используются вместо булевых значений управляющими структурами Icon. Благодаря этому мы можем писать конструкции типа:
if a := read() then write(a)
Более того, поскольку состояние «неудачи» имеет свойство «всплывать» из вложенных вызовов функций, становясь результатом внешней функции, можно использовать ещё более краткие идиомы, вроде:
while write(read())
для чтения потока ввода и дублирования его в поток вывода (echo).
Операции сравнения, такие >
и <
, могут быть успешны и производить результат, равный значению их второго аргумента, или неудачны, и не производить никакого результата. Благодаря этому в Icon можно писать выражения типа if a < b < c then
….
Связанная с успехом и неудачей концепция называется в Icon целенаправленным выполнением англ. goal-directed execution. Это способ, благодаря которому вычисление может продолжаться, пока не будет достигнута некая цель. В вышеприведённом примере с echo цель — чтение всего содержимого файла на входе, пока не будет встречен конец файла. Цель задаётся непосредственно, а не с помощью дополнительных проверок кодов возврата или чего то подобного. Целенаправленное вычисление реализуется с помощью бэктрэкинга, это очень мощный механизм.
Генераторы
правитьСерьёзным нововведением языка являются генераторы, обобщающие механизма итераторов[4]. Именно из айкона идея генераторов попала в такие языки, как Python[5].
Thomas W. Christopher, автор Icon Programming Language Handbook пишет: «Самое большое различие между Icon и другими языками программирования — это то, что выражения в Icon — генераторы».
Пример использования генератора:
procedure main() L:=["1","22","333"] # Список строк every writes(" ",! L) end ---- Выход: 1 22 333
Влияние на последующие языки
правитьЯзыки Icon и Снобол послужили своего рода полигоном для отработки некоторых идиом программирования, особенно это касается конструкций, содержащих &&
или ||
и первым языком, использующим регулярные выражения (хотя и в форме, отличающейся от ныне принятой). Впоследствии эти механизмы были использованы в Unix-среде, в языках C, AWK и Perl.
Вот пример подобной идиомы:
[ $ringing != 0 ]&&echo Phone ringing!!!
Другой пример, пусть есть конструкция в shell:
xview -root `gtk-shell -t "Which image?" -fs`
Даже если вы не выберете имя файла-картинки, xview все равно будет запущен. А в языке Icon этого никогда бы не произошло.
Аналоги регулярных выражений являются частью самого языка, позволяя использовать системы обработки текста неограниченной сложности.
Гибкость языка позволяет записывать очень большое количество действий, не уменьшая при этом удобочитаемость текста.
Реализация и диалекты
правитьАвторская реализация Icon, написанная в Аризонском Университете (т. н. аризонский icon) распространяется в соответствии с лицензией GNU GPL.
Icon 9.3 (последняя версия имеющая нативную поддержку Windows) была реализована как компилятор в байт-код с генерацией исполняемого файла содержащего интерпретатор этого байт-кода. Начиная с версии 9.4 аризонский Icon реализован как классический скриптовый язык Unix.
После смерти автора языка, разработка классического аризонского айкона долгое время была заморожена, предпоследняя версия Icon v.9.4.3 была выпущена 14 ноября 2005, однако в настоящее время его поддержка возобновлена его учеником Грегом Таунсендом. 12 апреля 2010 выпущена новая версия транслятора.
Активно развивающейся ветвью Icon является язык Unicon[англ.], транслятор которого основан на его коде, и также распространяемый под лицензией GNU GPL. Это объектно-ориентированный диалект языка, с улучшенной интеграцией с окружающей средой ОС, включая, к примеру, поддержку взаимодействия с БД. Подобно icon v.9.3, Unicon — это транслятор, ориентированный на генерацию исполняемых файлов.
Продолжает развиваться диалект ObjectIcon, базирующийся на ранних версиях Unicon и являющийся форком последнего. ObjectIcon, как следует из названия, является расширенной объектно-ориентированной версией Icon, в частности, в отличие Unicon, в ObjectIcon есть модификаторы полей доступа к методам. В ObjectIcon сильно изменён состав библиотек (большая часть IPL была сильно переработана — некоторые модули были удалены, были полностью изменены графические библиотеки.), добавлена поддержка Unicode, поддержка пространств имён, добавлены множественное наследование и автоматическая инициализация констант и переменных — и теперь это современный и мощный ООП-язык. Разрабатывается Робертом Парлеттом и распространяется по MIT лицензии. Доступен к загрузке на SourceForge, работает в среде Linux/Unix.
Языки-потомки
правитьLaurence Tratt, один из разработчиков Icon 9.5 и ObjectIcon, также является автором спроектированного по похожим принципам языка Converge[6].
В 2015 году Грегом Таунсенд представил язык Goaldi (от Goal Direction). Это объектно-ориентированный язык, реализованный на Go, и унаследовавший многие черты Icon. В нём реализованы замыкания, параллельное программирование, поддержка пространств имён и работа с юникодом. При этом в нём отсутствуют такие черты айкона, как сканирование строк в качестве базовой операции языка (взамен используется сравнение с обычными регулярными выражениями на уровне функций) и связанные с ней такие типы данных, как множество символов, остсутствует арифметика произвольной точности, а ошибки не преобразуются в обрабатываемые бэктрекингом неудачи, но обрабатываются механизмом исключений[7].
Литература
править- Ralph E. Griswold and Madge T. Griswold. The Icon Programming Language. — Third Edition. — Peer-to-Peer Communications, 1996. — ISBN 1-57398-001-3. Архивировано 6 марта 2016 года. Архивная копия от 6 марта 2016 на Wayback Machine
- Ralph E. Griswold, Clinton L. Jeffery, and Gregg M. Townsend. Graphics Programming in Icon. — Peer-to-Peer Communications, 1998. — ISBN 1-57398-009-9. Архивировано 6 марта 2016 года. Архивная копия от 6 марта 2016 на Wayback Machine
- Ralph E. Griswold and Madge T. Griswold. The Implementation of the Icon Programming Language. — Princeton University Press, 1986. — ISBN 0-691-08431-9,. Архивировано 5 марта 2016 года. Архивная копия от 5 марта 2016 на Wayback Machine
- Alan D. Corré. Icon Programming for Humanists. — Goal-Directed Press, 2010. Архивная копия от 4 марта 2016 на Wayback Machine
- Thomas W. Christopher. Icon Programming Language Handbook. — Tools of Computing, 1996. Архивная копия от 31 июля 2007 на Wayback Machine
- Peter H. Salus. PART V—Icon // HPL: Vol. II: Imperative Programming Languages. — Macmillan Technical Publishing, 1998. — (Handbook of Programming Languages). — ISBN 9781578700097.
- O. Richard Fonnorow. Users Press Icon into Commercial Service // Computerworld. — 1985. — 18 ноября. — С. 75—92. Архивировано 4 марта 2016 года.
- О. Г. Чанышев. Основные элементы языка программирования Icon. — Омск: Изд-во ОмГУ, 2004. — 55 с. — ISBN 5-7779-0523-4.
- O. Richard Fonorow. Users Press Icon into Commercial Services // Computerworld. — 1985. — 18 ноября (т. XIX, № 46). — С. 85—92. Архивировано 27 января 2019 года.
Примечания
править- ↑ Release 951 — 2013.
- ↑ 1 2 https://github.com/gtownsend/icon/releases/tag/v9.5.23a
- ↑ Unicon Sourceforge . Дата обращения: 26 марта 2013. Архивировано 10 сентября 2012 года.
- ↑ Michael Lee Scott. 6.5.4. Generators in Icon // Programming Language Pragmatics. — III ed.. — Morgan Kaufmann, 2009. — С. 268. — 941 с. — ISBN 9780080922997.
- ↑ Steve Holden, David M. Beazley. App. 2. Change since Python 2.0 // Python Web Programming. — Sams Publishing, 2002. — С. 612. — 691 с. — ISBN 9780735710900.
- ↑ Laurence 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. Архивировано 14 августа 2016 года.
- ↑ Проект Goaldi на сайте GitHub
Ссылки
править- www.cs.arizona.edu/icon Архивная копия от 18 мая 2007 на Wayback Machine — Официальный сайт языка
- Энциклопедия языков программирования Архивная копия от 19 мая 2012 на Wayback Machine — Icon в Прогопедии
- Записки пользователя Icon Архивная копия от 7 апреля 2016 на Wayback Machine Блог, целиком посвященный Icon
Диалекты и дистрибутивы
править- Проект Unicon на сайте SourceForge.net.
- Проект ObjectIcon на сайте SourceForge.net