imported>ExultantEditor 来自 2025年12月26日 (五) 17:32

2025-12-26T17:32:47Z

新页面

{{NoteTA|G1=IT}}
{{Infobox programming language
| logo =
| paradigm = [[编程范式|多范式]]: [[指令式编程|指令式]], [[过程式编程|过程式]], [[结构化编程|结构化]], [[面向对象编程|面向对象]]
| released = {{Start date and age|1969}}
| designer = (Jack) {{le|Jacob T. Schwartz}}
| developer = [[科朗数学研究所]]
| latest release version = 1.1
| latest release date = {{Start date and age|2005|01|07}}
| typing = [[类型系统|动态]]
| implementations =
| dialects =
| website = {{URL|https://setl.org/setl/}}
| influenced_by = [[ALGOL 60]]
| influenced = SETL2, ISETL, SETLX, [[ABC (程式语言)|ABC]]
}}

'''SETL'''（SET语言）是一种基于[[数学]][[集合论]]的[[领域特定语言|领域特定]]的[[高级编程语言]]。它最初由（Jack）Jacob T. Schwartz于二十世纪六十年代末在[[纽约大学]][[科朗数学研究所]]开发。

== 设计 ==
SETL提供两种基本的聚合数据类型：无序的[[集合]]和序列（后者也称为[[元组]]）。集合和元组的元素可以是任意类型，包括集合和元组本身。[[关联数组|映射]]是作为[[有序对]]（长度为2的元组）的集合提供的，并且可以具有任意的域和范围类型。SETL中的原始操作包括集合成员资格、联合、交集和幂集构造等。

SETL提供使用[[一阶逻辑|一阶谓词逻辑]]的[[全称量化|全称]]和[[存在量化|存在量词]]构造的量化布尔表达式。

SETL提供了几个[[迭代器]]，可以在聚合数据结构上生成各种循环。

== 例子 ==
打印从2到N的所有素数：
print([n in [2..N] | forall m in {2..n - 1} | n mod m > 0]);
这个表示法类似于[[列表推导式]]。

阶乘过程的定义：
procedure factorial(n); -- calculates the factorial n!
return if n = 1 then 1 else n * factorial(n - 1) end if;
end factorial;

阶乘(n > 0)的更常用的SETL表达：
*/[1..n]

== 用途 ==
在二十世纪七十年代，SETL被移植到BESM-6，ES EVM和其他俄罗斯的计算机系统。

SETL用于早期实现编程语言[[Ada]]，名为NYU Ada / ED翻译器。<ref>{{Cite journal|title=The NYU Ada Translator and Interpreter|last=Dewar|first=Robert B. K.|last2=Fisher Jr.|first2=Gerald A.|date=November 1980|journal=ACM SIGPLAN Notices - Proceedings of the ACM-SIGPLAN Symposium on the Ada Programming Language|issue=11|doi=10.1145/948632.948659|volume=15|pages=194–201|isbn=0-89791-030-3|last3=Schonberg|first3=Edmond|last4=Froelich|first4=Robert|last5=Bryant|first5=Stephen|last6=Goss|first6=Clinton F.|last7=Burke|first7=Michael}}</ref>这后来成为第一个经过验证的Ada实现，于1983年4月11日通过认证。<ref>{{Cite web|url=http://www.dtic.mil/docs/citations/ADA136759|title=Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001|author=SofTech Inc., Waltham, MA|date=1983-04-11|accessdate=2010-12-16|archive-date=2017-06-07|archive-url=https://web.archive.org/web/20170607044753/http://www.dtic.mil/docs/citations/ADA136759|dead-url=no}}</ref>

根据[[吉多·范罗苏姆]]的说法，[[Python]]的先驱语言[[ABC (程式語言)|ABC]]，受到了SETL的启发：“兰伯特梅尔滕斯在纽约大学的SETL小组工作了一年，然后才开始进行最终的ABC设计！”<ref>{{Cite web |url=http://mail.python.org/pipermail/python-dev/2000-August/008881.html |title=SETL (was: Lukewarm about range literals) |accessdate=2019-04-24 |archive-date=2011-05-14 |archive-url=https://web.archive.org/web/20110514231628/http://mail.python.org/pipermail/python-dev/2000-August/008881.html |dead-url=yes }}</ref>

== 语言变种 ==
“SET语言2”（SETL2）是SETL的一个不向后兼容的后继者，由纽约大学Courant数学科学研究所的柯克斯奈德于二十世纪八十年代后期创建。与其前身一样，它基于有限集的理论和符号，但也受到Ada语言的语法和风格的影响。

“交互式SET语言”（ISETL）是[[离散数学]]中使用的SETL变体。

== 参考 ==
{{reflist|2}}

== 进一步阅读 ==
* Schwartz，Jacob T.，“将集合论用作程序规定和编程的语言”。纽约大学Courant数学科学研究所，1970年。
* Schwartz，Jacob T.，“关于编程，关于SETL项目的中期报告”，计算机科学系，Courant数学科学研究所，纽约大学（1973）。
* Schwartz，Jacob T.，Dewar，RBK，Dubinsky，E。和Schonberg，E。， ''Programming With Sets：An Introduction to SETL'' ，1986。 {{ISBN|0-387-96399-5}} [[International Standard Book Number|国际标准书号]]   [[Special:BookSources/0-387-96399-5|0-387-96399-5]] 。

== 外部链接 ==

* {{Official website|setl.org/setl}} ，GNU SETL
* [http://www.settheory.com 在SETL和其他东西上编程]{{Wayback|url=http://www.settheory.com/ |date=20200803233031 }}
{{程序设计语言}}

[[Category:程序设计语言]]
[[Category:学术的编程语言]]
[[Category:集合论]]

SETL - 版本历史

imported>ExultantEditor 来自 2025年12月26日 (五) 17:32