|Typechecking union types firstname.lastname@example.org (Thomas Christensen) (2006-06-27)|
|Re: Typechecking union types email@example.com (Curtis W) (2006-07-05)|
|Re: Typechecking union types DrDiettrich@compuserve.de (Hans-Peter Diettrich) (2006-07-05)|
|Re: Typechecking union types firstname.lastname@example.org (2006-07-05)|
|Re: Typechecking union types email@example.com (Thomas Christensen) (2006-07-28)|
|From:||firstname.lastname@example.org (Hans Aberg)|
|Date:||5 Jul 2006 15:15:51 -0400|
|Posted-Date:||05 Jul 2006 15:15:51 EDT|
Thomas Christensen <email@example.com> wrote:
> For my master thesis, I need to get up to speed
> on the current state of the art within the somewhat
> narrow field of typechecking union types.
In C/C++, one can, along with the union, write a struct with an enum
providing the type, which can be used for dynamic type checking.
A C++ polymorphic (virtual) class hierarchy is viewed as a dynamic type
checked replacement for unions. In order to avoid having to modify the
base class whenever a new class is added, RTTI was introduced. See
Bjarne Stroustrup's DEC++ book for motivations.
There is some union like static type checking in C++, using something
Return to the
Search the comp.compilers archives again.