RE: ANNOUNCE: Typing Haskell in Haskell Source Code

[Mark P Jones]

| The source code for the current version of `Typing Haskell in Haskell'
| is now available from:  http://www.cse.ogi.edu/~mpj/thih/  It is, of
| course, written in Haskell 98, and has been tested and developed using
| Hugs 98.

I'm embarrassed to have discovered that I put the wrong version of
the `Typing Haskell in Haskell' source code on the web yesterday!
If you downloaded a copy yesterday, please download it afresh; the
file names are the same, but the contents are slightly different.
(In particular, this version works :-)

All the best,
Mark

ANNOUNCE: Typing Haskell in Haskell Source Code

[Mark P Jones]

The source code for the current version of `Typing Haskell in Haskell'
is now available from:  http://www.cse.ogi.edu/~mpj/thih/  It is, of
course, written in Haskell 98, and has been tested and developed using
Hugs 98.

For those who don't know, `Typing Haskell in Haskell' is an attempt to
produce a formal specification for the Haskell type system in the form
of an executable Haskell program.  A paper describing this system was
presented at the Haskell workshop in Paris last Friday, and is also
available from the web page above.

I hope that `Typing Haskell in Haskell' will be a useful resource for
anyone interested in understanding the Haskell type system, or in
experimenting with new extensions, and I welcome any feedback.  I should
also mention that this is an ongoing project, and further revisions of
the specification/program are already planned or in progress.

All the best,
Mark