Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Sean Seefried <sean.seefried <at> gmail.com>
Subject: Constructor classes implementation
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Friday 17th February 2006 02:34:41 UTC (over 11 years ago)
Hey all,

If you're interested in an implementation of constructor classes  
(type classes which can take constructors as arguments; already  
implemented in Haskell) please see:

http://www.cse.unsw.edu.au/~sseefried/code.html

This should help understanding the paper by Mark P. Jones called "A  
system of constructor classes: overloading and implicit higher-order  
polymorphism" much easier.

The implementation not only infers the type but also prints out a  
trace of the derivation tree for the syntax directed rules.

Cheers,

Sean

p.s. If you find any bugs, please let me know.
 
CD: 3ms