Mark P Jones writes:
| The issue I want to raise is whether constructor classes are
| redundant in the presence of FDs
No, they are not comparable.
Allow me to make the following bold claim.
Assume we are given a program that uses the Haskell functor class as in
class Functor f
Martin Sulzmann [EMAIL PROTECTED] writes:
Yoann Padioleau writes:
nevertheless i found constructor class more elegant for many problems.
Your solution is less elegant that the one using constructor classes.
Yes, the current presentation of constructor classes might be easier
to
Hi,
I was wondering whether other people made similiar observations.
Functional dependencies seem to be expressiveness enough to encode
some of the kinding rules required for Constructor Classes.
Take a look at the Haskell code below
(runs under hugs -98 or ghci
Martin Sulzmann [EMAIL PROTECTED] writes:
Hi,
I was wondering whether other people made similiar observations.
Functional dependencies seem to be expressiveness enough to encode
some of the kinding rules required for Constructor Classes.
read this page:
Yoann Padioleau writes:
nevertheless i found constructor class more elegant for many problems.
Your solution is less elegant that the one using constructor classes.
Yes, the current presentation of constructor classes might be easier
to comprehend.
I found too that type error messages
Hi Martin,
| The issue I want to raise is whether constructor classes are
| redundant in the presence of FDs
No, they are not comparable.
Let fds = functional dependencies
ccs = constructor classes
Example of something you can do with ccs but not fds:
data Fix f = In (f (Fix f