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.
Related categories 5
Sites 3
- 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.
- SETL for Internet Data Processing A dissertation by David Bacon.
- SETLS FTP site with version 2.2, for PCs using DOS; downloads of self-extracting .exe.