<div dir="ltr">T is the type. A and B are the only constructors for values of that type. A and B are not terms in the type language. T is not a term in the value language.<div><br></div><div>It's simpler to consider a type without any fields in the constructor:</div><div><br></div><div>data Bool = True | False</div><div><br></div><div>True and False are values, Bool is the type. You can't use Bool as a constructor, and you can't use True or False as a type.</div><div><br></div><div>When you add fields it can get a bit more confusing, because the fields of a constructor are types, so it looks like "ValueConstructor1 FieldType1 FieldType2 | ValueConstructor2 FieldType3"</div><div><br></div><div>data PersonOrPlace = Person String | Place String</div><div><br></div><div>To make it more clear, here the types are annotated with <AngleBrackets> and the constructors annotated with [SquareBrackets]:</div><div><br></div><div>data <PersonOrPlace> = [Person] <String> | [Place] <String></div><div><br></div><div><br></div><div><br></div><div class="gmail_extra"><div class="gmail_quote">On Tue, Jun 16, 2015 at 8:52 AM, Matt Williams <span dir="ltr"><<a href="mailto:matt.williams45.mw@gmail.com" target="_blank">matt.williams45.mw@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Dear All,</p>
<p dir="ltr">I am sure this is a common mistake, and I am happy to be pointed elsewhere for reading.</p>
<p dir="ltr">I have spent the last couple of days on the Haskell irc channel, which was very helpful.</p>
<p dir="ltr">However, one of the points of discussion left me confused.</p>
<p dir="ltr">When we have a type, T, with constructors A and B</p>
<p dir="ltr">(e.g. data T = A x y z | B x y)</p>
<p dir="ltr">How do I understand the relationship between A, B and T? I had thought I could use the sub-class relationship, but that doesn't seem to be true.</p>
<p dir="ltr">Any other pointers very welcome.</p><span class="HOEnZb"><font color="#888888">
<p dir="ltr">Matt</p>
</font></span><br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div></div>