First of all I have to thank everyone who responded so quickly to my call.
I think there is enough stuff for setting up some pages about the pains
of parsing Haskell (and some solutions for the problems, of course :-).
At the moment I'm browsing through the code and testing some of it. This
can t
Hello All,
Lately I was playing with Monads again, and stumbled upon a problem that I
haven't been able to solve.
We all know that Monads satisfy some algebraic laws, in particular the
following one:
m >>= return === m
Different people can therefore have different styles of monadic
progra
At 11:09 am 24/11/97, Sigbjorn Finne wrote:
>Olaf Chitil writes:
>> Section 7.1 of the Haskell Report says about the input functions
>> getChar, getLine, getContents, interact, ...:
>>
>> "By default, these input functions echo to standard output. Functions in
>> the I/O library provide full contr
In my imminent compiler construction course I'll be using
Andrew Appel's book "Modern compiler implementation in ML",
which uses ML-Lex and ML-Yacc, which are a part of the
SML/NJ distribution.
Now of course I'd like to encourage the use of Hugs/Haskell,
especially since many of the students kn
Section 7.1 of the Haskell Report says about the input functions
getChar, getLine, getContents, interact, ...:
"By default, these input functions echo to standard output. Functions in
the I/O library provide full control over echoing."
However, the section about module IO in the Library Report
Hi Thomas --
You are in luck: I am just about at the end of teaching a compiler
course using Appel's ML book. About 20 students used ML, and 5 used
Haskell. We provided the Haskell students with translated versions of
all of Appel's code, and in addition used Lx and Happy as lexer- and
parser-
Thomas Johnsson writes:
Q: does anyone know if there's a port of this stuff to Haskell?
Note that I'm not after a nondeterministic SLR parser (Ratatosk),
or some such For pedagogical reasons I'd lite the tools
to be as similar as possible to Yacc/Bison/ML-Yacc, etc.
I am using A