<div style="font-family: 'Times New Roman'; font-size: 16px;">Gast [1] describes a 3 level hierarchy of Haskell objects using elementOf from set theory:<br _moz_dirty="" /><br _moz_dirty="" />value  *elementOf*  type  *elementOf*  class<br _moz_dirty="" /><br _moz_dirty="" />Question<br _moz_dirty="" />If we include super-classes would the following be an appropriate mathematical representation?<br _moz_dirty="" /><br _moz_dirty="" />value *elementOf*  type  *elementOf* class  *subSet* super-class<br _moz_dirty="" /><br _moz_dirty="" /><br _moz_dirty="" />Maybe instantiated classes would make more sense in the hierarchy?<br _moz_dirty="" />My thinking is that values and types and instances are concrete whereas classes are not.<br _moz_dirty="" /><br _moz_dirty="" />Regards,<br _moz_dirty="" />Pat<br _moz_dirty="" /><br _moz_dirty="" />[1] bib.informatik.uni-tuebingen.de/files/wsi-berichte/wsi-99-5.ps.gz<br /></div>
<br clear=all> Tá an teachtaireacht seo scanta ó thaobh ábhar agus víreas ag Seirbhís Scanta Ríomhphost de chuid Seirbhísí Faisnéise, ITBÁC agus meastar í a bheith slán.  <a href="http://www.dit.ie">http://www.dit.ie</a><br>
This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean.  <a href="http://www.dit.ie">http://www.dit.ie</a>