On 2007.12.05 15:56:49 +0100, John van Groningen
gwern0@gmail.com wrote:
Hey everyone; recently I've been toying around with various methods of writing a shell and reading the academic literature on such things. The best prior art on the subject seems to be the ESTHER shell (see http://citeseer.ist.psu.edu/689593.html, http://citeseer.ist.psu.edu/744494.html, ftp://ftp.cs.kun.nl/pub/Clean/papers/2003/vWeA2003-Esther.pdf).
Now, ESTHER is a really cool looking shell, but it has two main problems for me: 1) Source doesn't seem to be available anywhere online ...
The source code of ESTHER is include with Clean 2.2 in the directory Libraries/Hilde of the windows 32 bit binary zip and the sources zip and tar.
Kind regards,
John van Groningen
Thanks for the information! I had no idea it'd be included with the Clean compiler package, but it's there alright. Interesting reading, too. -- gwern