Share
VIDEOS 1 TO 50
Tip TV Hedge: From SWIFT and RTGS to ‘Blockchain’
Tip TV Hedge: From SWIFT and RTGS to ‘Blockchain’
Published: 2016/03/18
Channel: Linear Talk
Blockchain and beyond: Un- SETL-ing the status quo
Blockchain and beyond: Un- SETL-ing the status quo
Published: 2016/04/13
Channel: Glenn Parry
SETL
SETL
Published: 2013/06/20
Channel: Erik De Groef
CRYPTO BREAKING NEWS ~ GOLDMAN SACHS AWARDED CRYPTOCURRENCY PATENT
CRYPTO BREAKING NEWS ~ GOLDMAN SACHS AWARDED CRYPTOCURRENCY PATENT
Published: 2017/07/13
Channel: Crypto Spark
SETL day June 15, 2014
SETL day June 15, 2014
Published: 2014/09/01
Channel: Erik De Groef
SETL GROUP | Setl City | Петербургская Недвижимость
SETL GROUP | Setl City | Петербургская Недвижимость
Published: 2013/11/25
Channel: Петербургская Недвижимость
Getting  the setl-com parts
Getting the setl-com parts
Published: 2018/01/15
Channel: Da diamond beast 2.0
Introducing Grump SETL
Introducing Grump SETL
Published: 2013/05/27
Channel: GrumpSnipers
Setl Loop Video
Setl Loop Video
Published: 2016/09/13
Channel: SETL Development Limited
Watch me setl my hand on fire!
Watch me setl my hand on fire!
Published: 2018/01/19
Channel: Jarom Smith
SetL (Кубезумие 2) Выживание в строительстве О_о
SetL (Кубезумие 2) Выживание в строительстве О_о
Published: 2014/03/06
Channel: SetL KaNaL
Mr setl
Mr setl
Published: 2017/10/22
Channel: Aida Reyes
Setl Group — Новогодняя вечеринка «Жаркая зима»
Setl Group — Новогодняя вечеринка «Жаркая зима»
Published: 2015/02/06
Channel: REMAR Group
Setl Group - Лента
Setl Group - Лента
Published: 2016/08/13
Channel: Premier Football Cup
SETL GROUP 2014 | SETL CITY | Петербургская Недвижимость
SETL GROUP 2014 | SETL CITY | Петербургская Недвижимость
Published: 2014/04/24
Channel: Петербургская Недвижимость
Нивелиры Setl, Vega.Поверки.
Нивелиры Setl, Vega.Поверки.
Published: 2011/08/28
Channel: geokafedra
TUT.RU - Оптический нивелир SETL DSZ3
TUT.RU - Оптический нивелир SETL DSZ3
Published: 2012/09/11
Channel: ТОРГОВЫЙ ДОМ TUT.RU
Setl Group 2:2 ФСК ЕЭС (пен.  4:5)
Setl Group 2:2 ФСК ЕЭС (пен. 4:5)
Published: 2017/11/19
Channel: Premier Football Cup
Setl Group 3:1 Адвекс
Setl Group 3:1 Адвекс
Published: 2016/10/04
Channel: Premier Football Cup
Приемка квартиры в ЖК «Greenландия». Застройщик Setl City. Новостройки Санкт-Петербурга
Приемка квартиры в ЖК «Greenландия». Застройщик Setl City. Новостройки Санкт-Петербурга
Published: 2017/08/16
Channel: Living • ваш онлайн риелтор
Леруа Мерлен 6:2 Setl Group
Леруа Мерлен 6:2 Setl Group
Published: 2016/11/01
Channel: Premier Football Cup
ЖК «Чистое небо» Setl city | Октябрь 2017
ЖК «Чистое небо» Setl city | Октябрь 2017
Published: 2017/10/24
Channel: Новостройки СПб
Setl Group 3:2 Линкор
Setl Group 3:2 Линкор
Published: 2017/06/23
Channel: Premier Football Cup
Setl Group 2:2 Благо
Setl Group 2:2 Благо
Published: 2016/08/21
Channel: Premier Football Cup
Setl Group 8:3 Железный Мир
Setl Group 8:3 Железный Мир
Published: 2016/08/05
Channel: Premier Football Cup
Setl Group 1:1 Ленинградец
Setl Group 1:1 Ленинградец
Published: 2017/03/05
Channel: Premier Football Cup
Setl Group 3:4 City Life
Setl Group 3:4 City Life
Published: 2016/06/13
Channel: Premier Football Cup
Rev SETL "SETL Down" Episode #2
Rev SETL "SETL Down" Episode #2
Published: 2013/06/18
Channel: RevingHQ
Setl Group 8:3 Кофе Хауз
Setl Group 8:3 Кофе Хауз
Published: 2016/05/23
Channel: Premier Football Cup
Вратарь Setl Group, Александр Удальцов
Вратарь Setl Group, Александр Удальцов
Published: 2016/09/22
Channel: Premier Football Cup
Нивелиры Setl, Vega  Начало работы
Нивелиры Setl, Vega Начало работы
Published: 2013/12/23
Channel: Виталян
Setl Group 8:3 Ленинградец
Setl Group 8:3 Ленинградец
Published: 2017/05/19
Channel: Premier Football Cup
Итака 7:4 Setl Group
Итака 7:4 Setl Group
Published: 2015/10/13
Channel: Premier Football Cup
Setl Group 3:0 Футболофф
Setl Group 3:0 Футболофф
Published: 2016/06/26
Channel: Premier Football Cup
Setl Group 6:3  ФСК ЕЭС
Setl Group 6:3 ФСК ЕЭС
Published: 2017/06/19
Channel: Premier Football Cup
Setl Group 5:1  Юлмарт
Setl Group 5:1 Юлмарт
Published: 2016/10/11
Channel: Premier Football Cup
ЖК «Невские паруса» от девелопера Setl City (аэросъемка: июль 2017 г.)
ЖК «Невские паруса» от девелопера Setl City (аэросъемка: июль 2017 г.)
Published: 2017/09/04
Channel: Новострой СПб
НеАлё 2-2 (п 2-3) Setl Group
НеАлё 2-2 (п 2-3) Setl Group
Published: 2016/07/11
Channel: Premier Football Cup
Приемка квартиры в ЖК «Солнечный город». Застройщик Setl City. Новостройки Санкт-Петербурга
Приемка квартиры в ЖК «Солнечный город». Застройщик Setl City. Новостройки Санкт-Петербурга
Published: 2017/07/03
Channel: Living • ваш онлайн риелтор
Setl Group 3:2 НеАле
Setl Group 3:2 НеАле
Published: 2016/01/24
Channel: Premier Football Cup
Setl Group 2: 2 (п 2:1) Ленинградец
Setl Group 2: 2 (п 2:1) Ленинградец
Published: 2017/04/16
Channel: Premier Football Cup
Setl Group 7:1 Юлмарт
Setl Group 7:1 Юлмарт
Published: 2016/11/22
Channel: Premier Football Cup
Атомпроект 4:2 Setl Group
Атомпроект 4:2 Setl Group
Published: 2016/02/02
Channel: Premier Football Cup
Setl Group 3:5 СТГТ
Setl Group 3:5 СТГТ
Published: 2015/10/06
Channel: Premier Football Cup
LSR 9:3 Setl Group
LSR 9:3 Setl Group
Published: 2015/11/12
Channel: Premier Football Cup
Setl Group 6:1 Юлмарт
Setl Group 6:1 Юлмарт
Published: 2017/02/06
Channel: Premier Football Cup
СТР 4:4 Setl Group
СТР 4:4 Setl Group
Published: 2016/06/20
Channel: Premier Football Cup
Oct 20 SETL interview with Tom Pereira p2
Oct 20 SETL interview with Tom Pereira p2
Published: 2010/10/21
Channel: Jhotcorner12
TUT.RU - Оптический нивелир SETL AT-24D
TUT.RU - Оптический нивелир SETL AT-24D
Published: 2012/09/10
Channel: ТОРГОВЫЙ ДОМ TUT.RU
TUT.RU - Оптический нивелир SETL AT-20D
TUT.RU - Оптический нивелир SETL AT-20D
Published: 2012/09/11
Channel: ТОРГОВЫЙ ДОМ TUT.RU
NEXT
GO TO RESULTS [51 .. 100]

WIKIPEDIA ARTICLE

From Wikipedia, the free encyclopedia
Jump to: navigation, search
SETL
Paradigm multi-paradigm: imperative, procedural, structured, object-oriented
Designed by (Jack) Jacob T. Schwartz
Developer Courant Institute of Mathematical Sciences
First appeared 1969; 49 years ago (1969)
Stable release
1.1 / January 7, 2005; 13 years ago (2005-01-07)
Typing discipline Dynamic
Website setl.org
Influenced by
ALGOL 60
Influenced
ProSet, ABC, Slim

SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed by (Jack) Jacob T. Schwartz at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s.

Design[edit]

SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples). The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves. Maps are provided as sets of pairs (i.e., tuples of length 2) and can have arbitrary domain and range types. Primitive operations in SETL include set membership, union, intersection, and power set construction, among others.

SETL provides quantified boolean expressions constructed using the universal and existential quantifiers of first-order predicate logic.

SETL provides several iterators to produce a variety of loops over aggregate data structures.

Examples[edit]

Print all prime numbers from 2 to N:

   print([n in [2..N] | forall m in {2..n - 1} | n mod m > 0]);

The notation is similar to list comprehension.

A factorial procedure definition:

procedure factorial(n); -- calculates the factorial n!
  return if n = 1 then 1 else n * factorial(n - 1) end if;
end factorial;

A more conventional SETL expression for factorial (n > 0):

*/[1..n]

Uses[edit]

In the 1970s, SETL was ported to the BESM-6, ES EVM and other Russian computer systems.

SETL was used for an early implementation of the programming language Ada, named the NYU Ada/ED translator.[1] This later became the first validated Ada implementation, certified on April 11, 1983.[2]

History[edit]

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, "[Python-Dev] SETL (was: Lukewarm about range literals)", e-mail[3]

Language variants[edit]

SET Language 2 (SETL2), a backward incompatible descendant of SETL, was created by Kirk Snyder of the Courant Institute of Mathematical Sciences at New York University in the late 1980s. Like its predecessor, it is based on the theory and notation of finite sets, but has also been influenced in syntax and style by the Ada language.

Interactive SET Language (ISETL) is a variant of SETL used in discrete mathematics.

See also[edit]

References[edit]

  1. ^ Dewar, Robert B. K.; Fisher Jr., Gerald A.; Schonberg, Edmond; Froelich, Robert; Bryant, Stephen; Goss, Clinton F.; Burke, Michael (November 1980). "The NYU Ada Translator and Interpreter". ACM SIGPLAN Notices - Proceedings of the ACM-SIGPLAN Symposium on the Ada Programming Language. 15 (11): 194–201. doi:10.1145/948632.948659. ISBN 0-89791-030-3. 
  2. ^ SofTech Inc., Waltham, MA (1983-04-11). "Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001". Retrieved 2010-12-16. 
  3. ^ Python-Dev: SETL (was: Lukewarm about range literals)

Further reading[edit]

  • 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.

External links[edit]

Disclaimer

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Powered by YouTube
Wikipedia content is licensed under the GFDL and (CC) license