On Wed, Jul 04, 2007 at 05:35:44PM +0100, Simon Peyton-Jones wrote:
> Have you read "Understanding functional dependencies via Constraint
> Handling Rules"?
> http://research.microsoft.com/~simonpj/papers/fd-chr
>
> If not, I urge you to consider doing so. It goes into the whole
> thing in great
Philip
Have you read "Understanding functional dependencies via Constraint Handling
Rules"?
http://research.microsoft.com/~simonpj/papers/fd-chr
If not, I urge you to consider doing so. It goes into the whole thing in great
detail. I'm submerged for the next 3 weeks, though others may
Philip K.F. H??lzenspies wrote:
[snip]
> {- begin -}
> {-# OPTIONS -fglasgow-exts #-}
>
> data Z-- Zero
> data S x -- Successor of x
>
> class Add a b c | a b -> c
> instance Add Z q q
> instance Add p q r => (S p) q (S r)
>
> {- end -}
[snip]
> The coverage condition. For each functional
