Gourt > Computers > Programming > Languages > SETL
SETL is a very-high level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences.
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 first-order predicate logic's universal and existential quantifiers.
More on [ SETL ]
Functional :: Languages
Object Oriented :: Interpreted
Logic based :: Languages
Class based :: Object Oriented
Open Source :: Languages
Setl Group наÑла паÑÑнеÑа Ñ Ð¿Ð»Ð°Ð½Ð¾Ð¼ http://bit.ly/4Orrwc
delovoj_spb (Ðеловой ÐеÑеÑбÑÑг) Mon, 21 Dec 2009 09:56:10 -0000
Setl Group нашла партнера с планом http://bit.ly/4Orrwc
@RAEthoven that's true. It's slim pickings where I'm at, i'm not in any kinda rush to get boo'd up anyway. Feel like I'd be setl'n 4 less
Jtothadub (james washington) Thu, 17 Dec 2009 06:10:48 -0000
@RAEthoven that's true. It's slim pickings where I'm at, i'm not in any kinda rush to get boo'd up anyway. Feel like I'd be setl'n 4 less
Arctic Monke
404
ISETL - Interactive SET Language, distant SETL variant widely used in discrete mathematics: downloads on lower 2/3 of page, for DOS, Mac OS, Windows; source code available.
ISETLW - Interactive SET Language for Windows 9x/Me/NT/2000/XP: downloads, documentation, bugs, sample problems.
500
Other SETL Sources and Documentation - Offers sources, documentation and references to programming language SETL.
SETL Documentation - SET Language: mathematical programming language closely resembling the language of sets and functions used by Mathematicians. Lets users define sets, then define functions and binary operations on the sets: reference documentation for the library of built-in operations.
SETL for Internet Data Processing - A dissertation by David Bacon.
Meta Description: [ SETL for Internet Data Processing ]
SETL2 - SET Language 2, close relative of SETL, has some clumsy support for closures, an experimental (broken) object system, and redefines integer division to mean something different than in SETL: 3/2 yields 1.5 in SETL, but only 1 in SETL2.
SETLS - FTP site with version 2.2, for PCs using DOS; downloads of self-extracting .exe.
| Prince of Persia Film, New Footage! | |
| Next Video | |
