4 ms·
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 not
by nigwil_ 7y ago
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 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.
- shakna 7y ago> 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/ae1e8a16fb1c15d89456ba749b32e8bf310460dc https://github.com/herrmanntom/setlX/commit/ae1e8a16fb1c15d8...
- nigwil_ 7y agointeresting, someone has refined SETL2 into SetlX; I had not noticed that the SETL wikipedia entry has an entry for SetlX: https://en.wikipedia.org/wiki/SETL https://en.wikipedia.org/wiki/SETL In my other reply in this thread I highlighted the lineage of SETL, I neglected to also mention that SETL was an influence on ABC that influenced Python.