CS 3304: Comparative Languages
] : [
is a type whose variables are allowed to store different type values at different times during execution
Design Issues for unions:
What kind of type checking, if any, must be done?
Should unions be integrated with records?