[M3devel] Resummary of tagged reference proposals

hendrik at topoi.pooq.com hendrik at topoi.pooq.com
Tue Jun 2 13:23:53 CEST 2009


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



More information about the M3devel mailing list