<br><br><div class="gmail_quote">On Sat, Jun 27, 2009 at 10:45 PM, Darryn <span dir="ltr"><<a href="mailto:djreid@aapt.net.au">djreid@aapt.net.au</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
Thanks for the help previously received, but I still cannot seem to get<br>
on top of this. The types for the constructor K will not resolve and<br>
I'm at a loss to work out what to do with it. If anyone can offer<br>
a further explanation and help I would be very grateful.<br>
<br>
<br>
My code (File Test5.hs):<br>
----------------------------<br>
{-# LANGUAGE ExistentialQuantification #-}<br>
<div class="im"><br>
class A a where<br>
a1 :: a<br>
a2 :: a -> a<br>
a3 :: (B b) => b -> a<br>
<br>
class B b where<br>
b1 :: Int -> b<br>
<br>
</div>--data Ainst b = I | J (Ainst b) | K b<br>
<div class="im">-- a3 :: (B b, A a) => b -> a<br>
</div>-- yet without the constraint on K, K :: b -> Ainst b<br>
-- so the above data definition fails. Trying to<br>
-- existentially quantify K below seems to make<br>
-- sense, but also fails ...<br>
data Ainst b = I | J (Ainst b) | (B b) => K b<br>
<div class="im"><br>
instance (B b) => A (Ainst b) where<br>
a1 = I<br>
</div> a2 = J<br>
a3 = K -- Reported line of the error<br>
<div class="im"><br>
data Binst = Val Int<br>
<br>
instance B Binst where<br>
b1 = Val<br>
-------------------------------<br>
<br>
</div>The error from ghci is as follows:<br>
<br>
Test5.hs:25:9:<br>
Couldn't match expected type `b' against inferred type `b1'<br>
<div class="im"> `b' is a rigid type variable bound by<br>
</div> the type signature for `a3' at Test5.hs:7:13<br>
<div class="im"> `b1' is a rigid type variable bound by<br>
</div> the instance declaration at Test5.hs:16:12<br>
<div class="im"> Expected type: b -> Ainst b1<br>
</div> Inferred type: b1 -> Ainst b1<br>
In the expression: K<br>
<div class="im"> In the definition of `a3': a3 = K<br>
</div>Failed, modules loaded: none.<br>
<br>
Thanks in advance for any help. Apologies if what I am doing is odd or<br>
the answer is obvious, I'm still very new to Haskell.<br>
<font color="#888888"></font></blockquote><div><br>The actual problem is not that easy to understand until you really get to know the intricacies of Haskell's type checking. Do you think you could explain your problem is less abstract terms? That is, sometimes if you tell people here what you want to do and why they can suggest a better approach.<br>
<br>One thing to understand about your type class `A' is that it does not give a relationship between `b' and `a'. As far as the definition of `A' is concerned, `b' is totally arbitrary, so long as it is an instance of `B'. In particular, no relationship with `a' is implied. Additionally, I'm nearly certain that existential types are not needed or even wanted here.<br>
<br>K :: b -> Ainst b<br><br>In particular, the `b' that `K' takes becomes part of the type that `K' returns. This is different than the type of `a3'. In the type of `a3', the `b' that it takes doesn't necessarily become part of the return type. In a way, that means that `K' is less polymorphic than `a3'. This may not seem like a problem, but it is what prevents `K' from having the same type as `a3', and thus you get your error message. The type of `a3' is more general than the type of `K' due to the possible ranges of the type variables involved.<br>
<br>I have played with it a bit and found that this does compile:<br>\begin{code}<br>{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, FlexibleContexts #-}<br><br>class A a b | b -> a where<br>
a1 :: a<br> a2 :: a -> a<br> a3 :: (B b) => b -> a<br><br>class B b where<br> b1 :: Int -> b<br><br>data Ainst b = I | J (Ainst b) | K b<br><br>instance (B b) => A (Ainst b) b where<br> a1 = I<br>
a2 = J<br> a3 = K -- Reported line of the error<br><br>data Binst = Val Int<br><br>instance B Binst where<br> b1 = Val<br>\end{code}<br><br>If you remove all the type class constraints you won't need the FlexibleContexts, but it's also not hurting anything.<br>
<br>Here I am using the functional dependency between `a' and `b' that says, once you fix the type of `b', you also fix the type of `a'. You'll notice that, that is exactly what `K' does. Given a `b', it gives you `Ainst a', where `a = b', and therefore the type depends on, or is fixed by, `b'. Multi parameter type classes are needed just so we can give the functional dependency and the flexible things are in there just to work around Haskell 98 restrictions.<br>
<br>I hope this sheds more light on the problem. I bet you could be using type families here as well, but I have yet to take the time to understand them.<br><br>I hope that helps,<br>Jason</div></div><br>