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 GROUP | Setl City | Петербургская Недвижимость
SETL GROUP | Setl City | Петербургская Недвижимость
Published: 2013/11/25
Channel: Петербургская Недвижимость
NIGHTWISH -"PLEASE LEARN THE SETLIST IN 48 HOURS"
NIGHTWISH -"PLEASE LEARN THE SETLIST IN 48 HOURS"
Published: 2015/10/08
Channel: Анатолій Харів
SETL
SETL
Published: 2013/06/20
Channel: Erik De Groef
The secret to my EDC Setlist
The secret to my EDC Setlist
Published: 2017/06/23
Channel: Laidback Luke
Нивелиры Setl, Vega. Начало работы
Нивелиры Setl, Vega. Начало работы
Published: 2011/08/21
Channel: geokafedra
Setlist cu Costel, Bobonete si Micutzu
Setlist cu Costel, Bobonete si Micutzu' | Club 99 | Stand-up improvizat
Published: 2016/12/21
Channel: Club 99
Glee   New directions put together a new setlist 1x13
Glee New directions put together a new setlist 1x13
Published: 2016/06/02
Channel: Glee Scenes
TUT.RU - Оптический нивелир SETL DSZ3
TUT.RU - Оптический нивелир SETL DSZ3
Published: 2012/09/11
Channel: ТОРГОВЫЙ ДОМ TUT.RU
SETL GROUP 2014 | SETL CITY | Петербургская Недвижимость
SETL GROUP 2014 | SETL CITY | Петербургская Недвижимость
Published: 2014/04/24
Channel: Петербургская Недвижимость
Setl Group 8:3 Железный Мир
Setl Group 8:3 Железный Мир
Published: 2016/08/05
Channel: Premier Football Cup
Eminem Reading Festival 2017 Full Setlist
Eminem Reading Festival 2017 Full Setlist
Published: 2017/08/27
Channel: Slipstream
Setl Group — Новогодняя вечеринка «Жаркая зима»
Setl Group — Новогодняя вечеринка «Жаркая зима»
Published: 2015/02/06
Channel: REMAR Group
The 1975 Full Setlist Cover (by Troy Hoang)
The 1975 Full Setlist Cover (by Troy Hoang)
Published: 2015/07/25
Channel: Troy Hoang
Чистовая отделка от застройщика. Setl City
Чистовая отделка от застройщика. Setl City
Published: 2017/06/01
Channel: ПРО Недвижимость
Lars Ulrich Makes A Funny Fake Setlist For The Fans
Lars Ulrich Makes A Funny Fake Setlist For The Fans
Published: 2015/01/02
Channel: HardMusicTV
Ten Foot Pole - Setlist (Full Album)
Ten Foot Pole - Setlist (Full Album)
Published: 2017/06/03
Channel: Büşra Karanalbant
Приемка квартиры в ЖК «Солнечный город». Застройщик Setl City. Новостройки Санкт-Петербурга
Приемка квартиры в ЖК «Солнечный город». Застройщик Setl City. Новостройки Санкт-Петербурга
Published: 2017/07/03
Channel: Living • ваш онлайн риелтор
ЖК "ЗимаЛето" | Setl City
ЖК "ЗимаЛето" | Setl City
Published: 2015/09/30
Channel: Петербургская Недвижимость
Setl City — День строителя «Операция Setl или Невероятные приключения на Финском заливе»
Setl City — День строителя «Операция Setl или Невероятные приключения на Финском заливе»
Published: 2015/09/08
Channel: REMAR Group
ЖК Планетоград от Setl City. 1 марта 2017
ЖК Планетоград от Setl City. 1 марта 2017
Published: 2017/05/17
Channel: Бюллетень Недвижимости
How to Make a Proper Setlist
How to Make a Proper Setlist
Published: 2015/01/15
Channel: Making Music magazine
LADY GAGA - JOANNE WORLD TOUR FULL CONCERT SETLIST (+ lyrics!)
LADY GAGA - JOANNE WORLD TOUR FULL CONCERT SETLIST (+ lyrics!)
Published: 2017/08/14
Channel: Ghislaine Aurélie
ЖК Greenландия (Гринландия) от Setl City. 28 июня 2016
ЖК Greenландия (Гринландия) от Setl City. 28 июня 2016
Published: 2016/07/27
Channel: Бюллетень Недвижимости
Korg Kronos: Setlist Basics
Korg Kronos: Setlist Basics
Published: 2016/11/22
Channel: David Champagne
ЖК "Greenландия" Setl City
ЖК "Greenландия" Setl City
Published: 2014/05/27
Channel: Петербургская Недвижимость
Lars Ulrich On Constructing Metallica
Lars Ulrich On Constructing Metallica's Setlist
Published: 2017/05/11
Channel: 98 Rock Baltimore
Born to Lead ~100% FC!!!~ + NEW PERSONAL SETLIST DOWNLOAD
Born to Lead ~100% FC!!!~ + NEW PERSONAL SETLIST DOWNLOAD
Published: 2017/07/02
Channel: Acai
KISS - The New Setlist 2017
KISS - The New Setlist 2017
Published: 2017/04/24
Channel: Nothintolose75
twenty one pilots: Blurryface Tour Setlist (Studio Version - Fanmade)
twenty one pilots: Blurryface Tour Setlist (Studio Version - Fanmade)
Published: 2016/07/07
Channel: Dango Z
Metallica Jokes Around And Tries To Make A Setlist
Metallica Jokes Around And Tries To Make A Setlist
Published: 2015/01/02
Channel: HardMusicTV
How to Make a Setlist in ForScore for iPad
How to Make a Setlist in ForScore for iPad
Published: 2017/04/01
Channel: Adrienne Knauer
ACCEPT - Setlist, Variety & Old Classics On
ACCEPT - Setlist, Variety & Old Classics On 'Restless And Live' (OFFICIAL TRAILER)
Published: 2016/11/25
Channel: Nuclear Blast Records
Emotional Roadshow- Studio setlist 2017-twenty one pilots
Emotional Roadshow- Studio setlist 2017-twenty one pilots
Published: 2017/03/26
Channel: bad meme
Приемка квартиры в ЖК «Greenландия». Застройщик Setl City. Новостройки Санкт-Петербурга
Приемка квартиры в ЖК «Greenландия». Застройщик Setl City. Новостройки Санкт-Петербурга
Published: 2017/08/16
Channel: Living • ваш онлайн риелтор
Setlist Helper for Android overview
Setlist Helper for Android overview
Published: 2014/01/30
Channel: Tim Burnham
Examining The Beatles Rock Band Setlist
Examining The Beatles Rock Band Setlist
Published: 2017/05/07
Channel: Ajakes
How to Use the Korg Kronos Setlist Function for Convenience and Creativity - Tutorial "Hal
How to Use the Korg Kronos Setlist Function for Convenience and Creativity - Tutorial "Hal's Hints"
Published: 2012/08/03
Channel: Halunlimited
Examining the Rock Band 2 Setlist
Examining the Rock Band 2 Setlist
Published: 2017/03/27
Channel: Ajakes
Rock Band 1 Setlist
Rock Band 1 Setlist
Published: 2010/12/28
Channel: P0wer2R0ll
Humberto Gessinger - Setlist da nova turnê Louco Pra Ficar Legal
Humberto Gessinger - Setlist da nova turnê Louco Pra Ficar Legal
Published: 2016/06/08
Channel: Ronilson Fernandes
Tutorial on How to Import a Custom SGH (Setlist) File into Guitar Hero 3 for the PC
Tutorial on How to Import a Custom SGH (Setlist) File into Guitar Hero 3 for the PC
Published: 2015/08/18
Channel: Plumato
JKT48 Request Hour Setlist Best 30 TV Version Part. 1
JKT48 Request Hour Setlist Best 30 TV Version Part. 1
Published: 2017/08/13
Channel: Henry TV
Omnia Castlefest 2016 full + encore + setlist
Omnia Castlefest 2016 full + encore + setlist
Published: 2017/06/10
Channel: getas nekys omne tempus
forScore Tutorial: Setlist Basics
forScore Tutorial: Setlist Basics
Published: 2012/09/12
Channel: Tech4Singers
Como montar um setlist de louvor | Jeremy Riddle | LEGENDADO EM PORTUGUÊS
Como montar um setlist de louvor | Jeremy Riddle | LEGENDADO EM PORTUGUÊS
Published: 2016/05/22
Channel: Anislene Tavares
XO TOUR Llif3 100% FC ~ SETLIST UPDATE (Download in Description)
XO TOUR Llif3 100% FC ~ SETLIST UPDATE (Download in Description)
Published: 2017/07/19
Channel: Acai
ЖК «Лондон» в Кудрово Апрель 2016 | Setl City
ЖК «Лондон» в Кудрово Апрель 2016 | Setl City
Published: 2016/04/26
Channel: НовоХата - Новостройки СПб
Купить студию жк Гринландия | Купить Квартиру  Девяткино | Обзор  Гринландия | Greenландия setl city
Купить студию жк Гринландия | Купить Квартиру Девяткино | Обзор Гринландия | Greenландия setl city
Published: 2016/08/26
Channel: Владимир Карпенко
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; 48 years ago (1969)
Stable release
1.1 / January 7, 2005; 12 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.

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. ISBN 0-89791-030-3. doi:10.1145/948632.948659. 
  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