SETL Binary Distribution for Unix

THIS PAGE IS OBSOLETE. PLEASE SEE setl.org.

The binaries (executables) are

  setl
  setlcpp
  setltran
  setlrun
If you put these in your /usr/local/bin, then executable scripts can start with the line:

#! /usr/local/bin/setl -k
Anywhere on your PATH will do, however.

After installing the above files, and perhaps typing "rehash", you should be able to echo "57" with the command:

$ setl 'print(57);'  # $ = shell prompt, # = shell comment
The language supported by this implementation tries very hard to be a superset of both the SETL described in "Programming with Sets: An Introduction to SETL" by Schwartz, Dewar, Dubinsky, & Schonberg (1986) and The SETL Programming Language by Dewar and Smosna, and of the SETL2 language described in The SETL2 Programming Language and SETL2: An Update on Current Developments, by Kirk Snyder. The main extensions over these versions of SETL are for string matching using regular expressions, a variety of systems programming features, and some extra syntactic conveniences.

A draft in progress of "Programming in SETL" appears at www.settheory.com. It describes many extensions to SETL not found in the implementation available here, whose built-in functions and operators are mostly described in my own humble and incomplete SETL Documentation.


SETL binaries:
cygwin-nt-5.1 - for Cygwin on WinXP
linux-2.4.20 - dynamically linked on RedHat 9
linux-static - statically linked, should run on any Linux
qnx-6.2.1 - for QNX 6.2.1B and above
darwin-ppc-6.8 - for Mac OS 10.2.8 and above

Old SETL binaries:
aix3.2.5
aix4.1.4
alpha-osf4.0
irix5.3
irix6.4
linux1.2.13
linux2.0.18
solaris2.4
solaris2.5
sunos4.1.4

       dB    bacon@cs.nyu.edu