Eine Union ist ein spezieller Datentyp, bei dem alle Mitglieder an derselben Adresse stehen. Sie kann zu einem Zeitpunkt immer nur ein Mitglied besitzen. Das spart Speicher. Eine "tagged"-Union ist eine Union, die über ihre Datentypen Buch führt.

Hier geht weiter zum Artikel auf Heise Developer.