Сетл
Язык программирования, ориентированный на работу со множествами, разработанный в конце 1960ых годов группой профессора Нью-йоркского университета Джекобом Шварцем ( Jacob Schwartz ).Нью-йоркского университета Джекоба Шварца ( Jacob Schwartz ). Наименование языка SETL - сокращение от SET Language.
Синтаксические конструкции языка содержат операции, позволяющие манипулировать со множествами -включение, исключение проверка принадлежности, кванторы всеобщности и существования, итераторы, позволяющие обрабатывать каждый элемент множества и т.д.. Кроме множеств, язык поддерживает работу с упорядоченными множествами - кортежами.
Международное сотрудничество и реализации[править | править код]
Во время своего визита в СССР, происходившем в 1972 г. Шварц сумел заинтересовать языком ряд разработчиков из Новосибирска - что положило началу нескольких лет сотрудничества между нью-йоркской и новосибирской группами программистов и математиков.
В СССР язык был реализован на БЭСМ-6, ЕС ЭВМ, НОРД, работы над языком продолжались до 1985-1989гг., активно применялся в исследованиях вокруг ИИ.
В США язык был реализован на машинах серии Burroughs.
Схожие и родственные языки[править | править код]
- Вторая версия - SETL2
- ProSet - альтернативная концепция языка для работы с множествами
- ABC - предшественник языка Python испытал некое влияние языка Сетл.
- Рапира (язык программирования) - учебный язык программирования, в который были перенесены многие концепции Сетл. Разрабатывался под руководством академика Ершова, имевшего прямое отношение и к отечественным Сетл-проектам.
Внещние ссылки[править | править код]
- SETL binary distribution for UNIX
- Programming on SETL and other things
- SETL documentation
- The SETL programming language, by Robert Dewar
- Д.Я.Левин. СЕТЛ: РЕАЛИЗАЦИЯ И ПРИМЕНЕНИЕ ТЕОРЕТИКО-МНОЖЕСТВЕННОГО ЯЗЫКА ПРОГРАММИРОВАНИЯ
- Архив академика Ершова. Материалы, связанные с Сетл
Библиография[править | править код]
- Schwartz, Jacob T., "Set Theory as a Language for Program Specification and Programming". Courant Institute of Mathematical Sciences, New York University, 1970.
- Schwartz, Jacob T., "On Programming, An Interim Report on the SETL Project", Computer Science Department, Courant Institute of Mathematical Sciences, New York University (1973).
- Schwartz, Jacob T., Dewar, R.B.K., Dubinsky, E., and Schonberg, E., "Programming With Sets: An Introduction to SETL", 1986. ISBN 0-387-96399-5.
- Давид Яковлевич Левин Александр Семенович Нариньяни Развитая СУБД как многоуровневая система на основе языка СЕТЛ. 22 с. 20 см.Новосибирск ВЦ СО АН СССР 1982.
- Язык сверхвысокого уровня СЕТЛ и его реализация (для ЭВМ БЭСМ-6)/ Д. Я. Левин ; Отв. ред. А. П. Ершов 160 с. 20 см Новосибирск Наука Сиб. отд-ние 1983