Сетл

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
SETL
Появился в:

1960-е

Автор(ы):

Джекоб Шварц и др.

Сетл (SETL) — язык программирования, ориентированный на работу со множествами, разработанный в конце 1960-х годов группой профессора Нью-йоркского университета Джекобом Шварцем. Наименование языка SETL — сокращение от SET Language  (англ.), где SET переводится как «множество», то есть дословно «Язык множеств».

Синтаксические конструкции языка содержат операции, позволяющие манипулировать со множествами — включение, исключение, проверка принадлежности, кванторы всеобщности и существования, итераторы, позволяющие обрабатывать каждый элемент множества и т. д. Кроме множеств, язык поддерживает работу с упорядоченными множествами — кортежами.

Международное сотрудничество и реализации[править | править вики-текст]

Во время своего визита в СССР, в 1972 году Шварц сумел заинтересовать языком ряд разработчиков из Новосибирска, что положило началу нескольких лет сотрудничества между нью-йоркской и новосибирской группами программистов и математиков.

В СССР язык был реализован на БЭСМ-6, ЕС ЭВМ, НОРД, работы над языком продолжались до 19851989 гг., активно применялся в исследованиях вокруг ИИ.

В США язык был реализован на машинах компании Burroughs.

Схожие и родственные языки[править | править вики-текст]

  • Вторая версия — SETL2
  • ProSet — альтернативная концепция языка для работы с множествами
  • ABC — предшественник языка Python, испытал некое влияние языка Сетл[1]
  • Рапира — учебный язык программирования, в который были перенесены многие концепции Сетл. Разрабатывался под руководством академика Ершова, имевшего прямое отношение и к отечественным Сетл-проектам.

Библиография[править | править вики-текст]

  • 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

Ссылки[править | править вики-текст]

Сноски[править | править вики-текст]

  1. Python's predecessor, ABC, was inspired by SETL — Lambert Meertens spent a year with the SETL group at NYU before coming up with the final ABC design! — Guido van Rossum, [1]