Hello Martin, Wednesday, April 16, 2008, 7:06:07 PM, you wrote:
i'm not 100% sure that you'll find there appropriate examples but i suggest you too look into http://haskell.org/haskellwiki/Library/Streams where i've used very sophisticated (for me) FDs > We're also looking for (practical) examples of "multi-range" functional > dependencies class C a b c | c ->> a b > Notice that there are multiple (two) parameters in the range of the FD. > It's tempting to convert the above to class C a b c | c ->> a, c -> b > but this yields a weaker (in terms of type improvement) system. > Thanks, > Martin > Tom Schrijvers wrote: >> Hello, >> >> I'm looking for practical examples of non-full functional dependencies >> and would be grateful if anyone could show me some or point to >> applications using them. >> >> A non-full functional dependency is one involves only part of the >> parameters of a type class. E.g. >> >> class C a b c | a -> b >> >> has a non-full functional dependency a -> b which does not involve c. >> >> Thanks, >> >> Tom >> >> -- >> Tom Schrijvers >> >> Department of Computer Science >> K.U. Leuven >> Celestijnenlaan 200A >> B-3001 Heverlee >> Belgium >> >> tel: +32 16 327544 >> e-mail: [EMAIL PROTECTED] >> url: http://www.cs.kuleuven.be/~toms/ >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe@haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe