Kevin Atkinson wrote:
>
> For those of you who may be interested:
>
> I am working on an implementation of Nameable Type Parameters written in
> Haskell. I currently have them working in a so called Mini Haskell
> where all kind information is presented explicitly. I had a few
> unification problems but I eventually got it all working out. It even
> allows overlapping instances! I will let you know when I have a
> finished product which includes complete kind inference. If anyone is
> interest in seeing the preliminary product please let me know and I will
> send you a copy.
This "Mini Haskell" only has unification and kind inference. It is just
enough to demonstrate how Nameable Type Parameters work. Sorry if
anyone though it was a complete Haskell like system.
--
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/