Changes between Version 18 and Version 19 of ExistentialQuantification


Ignore:
Timestamp:
Mar 23, 2006 7:14:50 PM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v18 v19  
    165165for instance.
    166166
    167 == Consensus proposal: an existential for each single parameter class ==
     167== an existential for each single parameter class ==
    168168
    169 The consensus proposal based on the discussion is automatically to introduce an existential type for each single parameter type class. The type and class would have the same name, as in
     169A proposal based on the discussion is automatically to introduce an existential type for each single parameter type class. The type and class would have the same name, as in
    170170{{{
    171171class Figure f ...
     
    174174}}}
    175175Discussion focussed on whether there should or should not be automatic conversion from figure types into `Figure`; it was agreed that the `Figure` constructor could be used to do this, with the `Figure` instance providing the unboxing required.
     176
     177This is a signifigantly more difficult problem than this proposal makes it seem.