Additional
Information: A growing family of languages based on Set Theory and related notation and principles. Used mostly in mathematics by mathematicians, and in education to teach Mathematics. This page was last updated on October 13th, 2008
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 http://cs1.cs.nyu.edu/bacon/setl-doc.html
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. http://www.math.purdue.edu/~ccc/distribution.html
Other SETL Sources and Documentation
Offers sources, documentation and references to programming language SETL. http://galt.cs.nyu.edu/%7ebacon/other-setl.html
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. ftp://cs.nyu.edu/pub/languages/setl2/
ISETLW
Interactive SET Language for Windows 95/98/Me/NT/2000/XP: downloads, documentation, bugs, sample problems. http://isetlw.muc.edu/isetlw/default.asp
Additional
Information: A growing family of languages based on Set Theory and related notation and principles. Used mostly in mathematics by mathematicians, and in education to teach Mathematics.
-
