search

ggreif / omega

Automatically exported from code.google.com/p/omega
Other
7 stars 0 forks source link

Implement type classes #62

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Here is some indication that it is not so hard, as it can be reduced to
type functions:

http://www.cs.kuleuven.be/~toms/Research/papers/draft_icfp2008_poster.pdf

Original issue reported on code.google.com by ggr...@gmail.com on 9 Dec 2008 at 3:39

GoogleCodeExporter commented 9 years ago 
A modest proposal http://code.google.com/p/omega/wiki/ClassPropositions

This is rather unrealistic: http://code.google.com/p/omega/wiki/FunctionGADTs

Original comment by ggr...@gmail.com on 26 Jan 2011 at 9:27

GoogleCodeExporter commented 9 years ago 
http://code.google.com/p/omega/source/browse/trunk/work/classes.prg?r=672 is a 
very timid first try to get the constraint side of thing rolling.

Original comment by ggr...@gmail.com on 26 Jan 2011 at 1:10