The SETL programming language

The original SETL was implemented in a language known as LITTLE, Dave Shields noted in an email: "SETL was implemented in LITTLE, a language based on FORTRAN that had fixed=length bitfields as a fundamental data type."

Early SETL was used by Robert Dewar's team to implement the first validated Ada implementation, known as NYU Ada/Ed. This implementation worked as an interpreter.

We have a printed copy of the original SETL based NYU Ada/Ed but we are still to find the original SETL implementation. Maybe somewhere in the Courant Institute or their alumni there is someone with an original magnetic tape from the DEC VAX machine that ran these implementations.

Re: The SETL programming language

#5

Post by effnorwood » Sat, Apr 27, 2019, 8:50 AM UTC

Just what we don’t need.

Re: The SETL programming language

#6

Post by andrelaszlo » Sat, Apr 27, 2019, 8:59 AM UTC

'As rms has kindly pointed out, the designation "GNU SETL" is incorrect until the sources have been released. I hope to correct this by making that release soon'

Undated. From the Documentation page.

Re: The SETL programming language

#7

Post by wodenokoto » Sat, Apr 27, 2019, 9:00 AM UTC

pagnol wrote: post #3

There's even a book published in 1986: https://www.amazon.com/Programming-Sets-Introduction-Monogra...

GNU SETL documentation links to a book from 1979.

Any older?

https://cs.nyu.edu/~bacon/setl/doc-legacy/setlprog.pdf

Re: The SETL programming language

#8

Post by cpach » Sat, Apr 27, 2019, 9:08 AM UTC

andrelaszlo wrote: post #6

'As rms has kindly pointed out, the designation "GNU SETL" is incorrect until the sources have been released. I hope to correct this by making that release soon' Undated. From the Documentation page.

And according to these searches there are no references to SETL the language at GNU’s website:

https://www.gnu.org/cgi-bin/estseek.cgi?phrase=setl&perpage=...

https://www.google.com/search?q=site%3Agnu.org+%22setl%22

Re: The SETL programming language

#9

Post by shakna » Sat, Apr 27, 2019, 9:37 AM UTC

tonyjstark wrote: post #2

Is it dead and if not, is it GNU now? Some links on the page don't work. Anyone here ever tried it out?

It's not dead! [0]

The license is a bit of a mix [1], but sort of mainly BSD, but partly LGPL.

[0] https://github.com/herrmanntom/setlX

[1] https://github.com/herrmanntom/setlX/blob/master/license.txt

Re: The SETL programming language

#10

Post by shakna » Sat, Apr 27, 2019, 9:52 AM UTC

nigwil_ wrote: post #4

SETL has an interesting lineage and part to play in the history of computing: The original SETL was implemented in a language known as LITTLE, Dave Shields noted in an email: "SETL was implemented in LITTLE, a language based on FORTRAN that had fixed=length bitfields as a fundamental data type." Early SETL was used by Robert Dewar's team to implement the first validated Ada implementation, known as NYU Ada/Ed. This i…

> We have a printed copy of the original SETL based NYU Ada/Ed but we are still to find the original SETL implementation

This got me interested. I may not have found what you're looking for, but I found something.

The current git repo's first commit is "based upon SSoS2I 1.0.1" [0].

[0] https://github.com/herrmanntom/setlX/commit/ae1e8a16fb1c15d8...