Alex was referring to Mark's writeup on Functional Dependencies.
http://www.cse.ogi.edu/~mpj/fds.html
Yes, Jeff Lewis is well advanced with adding functional dependencies
to GHC. Certainly, if you get GHC from the CVS tree you are getting
wads of his F-D code. I don't think it's completed yet, though.
Stay tuned
Let's hear it for Jeff!
Simon
| -----Original Message-----
| From: Alex Ferguson [mailto:[EMAIL PROTECTED]]
| Sent: 04 December 1999 01:42
| To: [EMAIL PROTECTED]
| Subject: Collection types.
|
|
|
| I was just looking at Mark Jones' summary of his Hugs extension for
| disambiguating collection types (and other MPC snafus), and while I
| have some qualms and queries about the generality of his solution, it
| does appear to solve an important set of such problems. So, I was
| wondering... Are there plans to implement this in ghc, too? Or
| equally, any ohter type system extension that would finesse the issue
| with typing, in particular, non-type-constructor collections, such
| as tries, and the examples mark furnishes.
|
| Asking out of shameless self-interest, as usual.
|
| Cheers,
| Alex.
|
