lacey@batcomputer.tn.cornell.edu (John Lacey) (07/01/89)
I recently (yesterday) picked up a book called Programming With Sets:
An Introduction to SETL. First, after leafing through it, it seems
to be in the same genre as the Lisp 1.5 Manual of yesteryear. I starts
explaining what SETL is, seems to give up and start explaining how to
program, perhaps in SETL, gives up on *that* and starts into some examples,
and after that looks at how SETL can be implemented.
Despite this mess, I find the language (but perhaps not the book) a nice
piece of work. Does anyone know where I can find out more about it?
Specifically, are there any free compilers for it? Any compilers at all?
(In my glance at the book, I wasn't clear on whether this language is
interpreted or compiled. It seems like the former is the case, with
some capability for an internal compact "object" code format.)
Is there any general source of information on this language?
--
John Lacey | Internet: lacey@tcgould.tn.cornell.edu
running unattached | BITnet: lacey@crnlthry
| UUCP: cornell!batcomputer!lacey
"Whereof one cannot speak, thereof one must remain silent." ---Wittgensteingary@sun.mcs.clarkson.edu (Gary Levin) (07/01/89)
There is a SETL compiler. Contact schonberg@acf2.nyu.edu for more
information. There is a version for Vaxen. They were also working on
a PC compiler. Don't know the state of things.
I have implemented a highly portable version that is interactive and
interpreted. The implementation is called ISETL and is available for
free through FTP or an archive server. Feel free to write me if you
have questions on ISETL. ISETL runs on PCs, Macs, Vaxen (Unix and
VMS), and most anything with a C compiler and 0.5M. I have heard of
people compiling it on Atari-STs and Amigas, but I don't have
executables for those machines. There is a book that describes using
ISETL for learning discrete math called ``Learning Discrete
Mathematics with ISETL'' [clever title :-)] by Baxter, Dubinsky, and
Levin(me).
You can fetch ISETL from clutx.clarkson.edu:pub/ISETL. There are
source, documentation, test directories. The READ.ME explains things.
You can fetch the ISETL Source code by mailing requests to
archive-server@sun.soe.clarkson.edu
archive-server%sun.soe.clarkson.edu@clutx from bitnet
The description of how to do this is below. First send to this
address, with the message `send isetl index'. The file below is what
you will receive as the index, so you can go to the next step and try
`send isetl/source index'. You'll need to request the files a few at
a time.
This should work for all Arpanet and UUCP nodes. I hope that it will
work for all Bitnet nodes as well. You can now get ISETL source,
tests, documentation, and demos through e-mail. You will send a
one line message to `archive-server@sun.soe.clarkson.edu', and files
will be sent to you. A description of what is available is included
below. When you make a request, the files are packaged into one mail
message. You strip the header off and direct the files through `sh'.
On non-unix systems, you will need to split up the files manually.
Alternately, request each file separately.
-----------
This material may be freely copied and distributed, so long as credit
is given to the author, and no profit is made on the distribution.
Direct questions to `gary@clutx.bitnet' or `gary@clutx.clarkson.edu'.
Category Contents
====================================================================
Demo Files that display some of the uses of ISETL.
Suitable to be given to novices for an initial
sample of ISETL.
Doc Line printer approximations to the ISETL Documentation.
Printed copies can be ordered from Gary Levin
(address below) $10. Unlimited copies may be
made without additional fees.
Source Source code for ISETL.
On Unix systems, `make YOURSYSTEM'.
Generally, compile and link all the .c files.
See `machine.h' for system dependent features that
should be considered.
Tests Many programs with sample outputs.
Running `isetl -s -d <X.t' will produce X.r
read.me A description of the files and how to recreate ISETL.
The space usage (in Kbytes) for these directories is
339 ./Source
120 ./Doc
120 ./Tests
19 ./Demo
Compiled versions are available for MSDOS, Mac, Vax/VMS, Vax Unix, 3B2
SysV, Suns. Write for further information. MSDOS and Mac disks are $10,
others are $15. Unlimited copies may be made and distributed without
additional fees.
To retrieve files or indices, send requests to
archive-server@sun.soe.clarkson.edu
Bitnet Users should use:
archive-server%sun.soe.clarkson.edu@clutx
Examples:
To see the index for Demo, send
send ISETL/Demo index
To retrieve files comb, debug, and function from Demo, send
send ISETL/Demo comb debug function
Capitalization does not matter. Unfortunately, you need to request
files explicitly -- wildcards don't work.
-----
Gary Levin/Dept of Math & CS/Clarkson Univ/Potsdam, NY 13676/(315) 268-2384
BitNet: gary@clutx Internet: gary@clutx.clarkson.edu
--
Gary Levin/Dept of Math & CS/Clarkson Univ/Potsdam, NY 13676/(315) 268-2384
BitNet: gary@clutx Internet: gary@clutx.clarkson.edubudd@mist.CS.ORST.EDU (Tim Budd) (07/05/89)
There is a really nicely done and inexpensive implementation of Setl called ISETL (for Interactive Setl) distributed by Gary Levin, of Clarkson university - gary@clutx.clarkson.edu. I like to use ISETL as the first ``new'' language that my students see in my undergraduate programming languages course, because the syntax is close enough to pascal that they aren't put off by it (read that as ``no messy parenthesis'') yet you can do fun things like using functions as first class values.