> This systems looks really interesting. Anyone tried it? |
Under Windows XP I used Hugs98 for .NET:
I copied the Haskell source files from the LPS distribution into a directory and added some essential libraries:
A. Pretty.hs from:
B. The files from Parsec:
Start an interpreter by double-clicking "Main.lhs". After the system loads
enter "main" at the prompt. Then enter ":help" to get the commands available in the interpreter, ":change" to change between the three toy languages, and ":set debug <integer>" to set the debug level.
Example of how to use:
In the interpreter:
=> :load e1.w <enter>
(Note: that there is no command line editing with backspacing,
so if you make an error just hit return, receive an error and
re-enter the command, don't try to use backspace.)
The following paper also seems to do the best job describing the system:
I'll make a posting to LTU when I've finished reading it.
This system seems like the best way to start getting a handle on
modular monadic semantics since Wansbrough's MS thesis requires
Gofer the learning of which would be going off on a tangent.
Note that the imperative while language (in .w files) is based on the
language presented in
Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach
so it is probably a good place to begin experimenting with the LPS interpreter.
The book's not online but the lecture notes and code are.
Lua User's Wiki]
is the smallest useful language that I know of.
So it would be an interesting candidate for rigorous formal definition
using modular monadic actions.