[M3devel] Resummary of tagged reference proposals

[Tony Hosking]

Yes, objects + inheritance.  I think there is a discussion in "How the  
language got its spots" in "Systems Programming in Modula-3".

On 2 Jun 2009, at 21:23, hendrik at topoi.pooq.com wrote:

> On Tue, Jun 02, 2009 at 08:51:31PM +1000, Tony Hosking wrote:
>> Union types are anathema to the design of the Modula-3 type system.
>
> So I have heard.  But I don't understand why.  Certainly
> variant records a la Pascal would be for security reasons.
> Did they get tarred with the same brush?  Or were unions
> considered unnecessary once the language had objects and
> inheritance?
>
> -- hendrik