Википедия

Factor (язык программирования)

Factor — динамически типизированный конкатенативный язык программирования, чья разработка и реализация ведётся Славой Пестовым. Основное влияние на язык Factor оказали языки программирования Joy, Forth, Lisp и Self.

Factor
Изображение логотипа
Класс языка Конкатенативный язык программирования
Появился в 2003
Автор Слава Пестов
Разработчик Пестов, Святослав
Выпуск 0.99 (25 сентября 2023)
Система типов динамическая, статическая
Испытал влияние Joy, Forth, Lisp, Self
Лицензия BSD license
Сайт factorcode.org

Автор определяет Factor как «практический стековый язык программирования», важными факторами, определяющими направление его развития, являются производительность, богатство выразительных средств (при сохранении ясности и согласованности) и создание достаточно всеобъемлющей стандартной библиотеки.

Подобно другим конкатенативным языкам, Factor имеет постфиксный синтаксис, что означает, что аргументы функции пишут перед её именем. Например, Hello world в языке Factor это: 

 "Hello world" print

Фактор — язык с динамической типизацией, и уникальной объектной системой, близкой к CLOS. В Факторе есть небольшой набор базовых типов, а пользователи и стандартная библиотека могут создавать собственные классы используя кортежи и другие механизмы. Фактор поддерживает наследование. Помимо классов, являющихся кортежами имеются и другие механизмы создания классов; Factor поддерживает предикатные классы (подмножества некоего класса, для которых соблюдается условие-предикат) и классы объединения. Встроенные составные типы данных Фактора включают векторы фиксированной и переменной длины и хеш-таблицы. Подобно таким языкам, как Common Lisp и Python, Фактор поддерживает богатый набор арифметических типов данных: простые целые, целые неограниченной длины, числа с плавающей запятой. Комплексные числа, дроби (рациональные числа) реализованы в стандартной библиотеке. Также стандартная библиотека реализует связные списки, массивы статически типизированных значений[1] и другие структуры данных.

Одна из главных целей Фактора — применение в итеративной разработке через тестирование, поэтому ядро Фактора можно рассматривать как безопасный диалект Форта. Хотя Фактор — динамически типизируемый язык, компилятор имеет доступ к глубине стека слова (функции).

Реализация править

Первая публичная реализация Фактора была написана на Java, однако в целях повышения эффективности позднее она переписана на C (а затем, в мае 2009 — на C++[2]), Java-версия была заброшена. Количество Си-кода в реализации языка постепенно сокращается, а Factor-кода соответственно растёт.

Первоначально Фактор был чисто интерпретируемым языком, но теперь он полностью реализован в виде компилятора (неоптимизирующий компилятор по существу разворачивает (unrolls) цикл интерпретации[3][4]), интерпретатор сохранён только для обеспечения интерактивного режима работы). Оптимизирующий компилятор в машинный код также полностью написан на Факторе. Он не производит автономных запускаемых файлов, но генерирует машинный код, сохраняемый в файл образа. Эти образы запускаются с минимальными накладными расходами с помощью виртуальной машины. Подсистема развёртывания (deploying) позволяет сгенерировать из программы автономный запускаемый файл[5]. На реализацию Фактора большое влияние оказал Steel Bank Common Lisp[6].

Последний стабильный релиз датируется 20 апреля 2013 года и имеет номер 0.96[7]. Также, пока версия 1.0 всё ещё находится в разработке, регулярно публикуются постоянно обновляющиеся сборки (Continuous Builds) для всех поддерживаемых платформ[8].

Между выходом версий 0.91[9] и последовавшей за ней версией 0.92[10] прошло около 2 лет активного развития языка (с выпуском промежуточных сборок). За это время внесены значительные изменения как в само ядро языка, так и в окружающие его библиотеки (в частности вся работа со строками была переведена на Unicode с поддержкой UTF-8 и UTF-16).[10]

Стандартная библиотека править

Factor имеет развивающуюся библиотеку с поддержкой словарей, продолжений, HTTP сервера и прилагающегося веб-фреймворка, OpenGL враппер, GUI библиотеки, XML парсера, и т. д..

Примечания править

  1. ↑ Arrays of unboxed primitive values, and a faster Mersenne Twister. Дата обращения: 5 марта 2009. Архивировано 6 февраля 2009 года.
  2. ↑ Factor VM ported to C++. Дата обращения: 15 января 2010. Архивировано 14 мая 2009 года.
  3. ↑ Two-tier compilation comes to Factor. Дата обращения: 5 марта 2009. Архивировано 14 сентября 2008 года.
  4. ↑ Compiler overhaul. Дата обращения: 5 марта 2009. Архивировано 12 января 2008 года.
  5. ↑ Deploying stand-alone applications on Windows. Дата обращения: 5 марта 2009. Архивировано 9 июля 2008 года.
  6. ↑ Lisp на concatenative.org. Дата обращения: 5 марта 2009. Архивировано 22 февраля 2009 года.
  7. ↑ Factor 0.96 now available. Дата обращения: 18 мая 2013. Архивировано 26 мая 2013 года.
  8. ↑ Getting Factor. Дата обращения: 5 марта 2009. Архивировано 24 февраля 2009 года.
  9. ↑ Factor 0.91 now available. Дата обращения: 19 июля 2010. Архивировано 29 ноября 2010 года.
  10. ↑ 1 2 Factor 0.92 now available. Дата обращения: 23 февраля 2010. Архивировано 19 февраля 2010 года.

Литература править

  • Bruce Tate, Fred Daoud, Jack Moffitt, Ian Dees. Factor // Seven More Languages in Seven Weeks. Languages That Are Shaping the Future. — The Pragmatic Bookshelf, 2015. — С. 49-87. — 320 с. — ISBN 978-1941222157.
  • Factor: a dynamic stack-based programming language (англ.) — Slava Pestov, Daniel Ehrenberg, Joe Groff. Dynamic Languages Symposium 2010
  • Анатолий Левенчук. «Новый Forth» — язык программирования Factor (11 мая 2010). Дата обращения: 31 июля 2013. Архивировано из оригинала 20 августа 2013 года.
  • Christopher Diggins. What is a Concatenative Language. Dr. Dobbs (31 декабря 2008). Архивировано из оригинала 14 мая 2012 года.

Ссылки править

Источник — https://ru.wikipedia.org/w/index.php?title=Factor_(язык_программирования)&oldid=135880024