Typ Aliase (typedefs)

[bafto]

Typdefs sind ein nettes Feature, welches von vielen Sprachen (C, C++, Go, Scala, ...) unterstützt wird.
In DDP ist es zwar nicht zwingend notwendig, aber doch sehr nützlich und spätestens mit der Einführung von Generics essenziell.

Die Syntax könnte so aussehen:

Wir nennen ein(e/en) <Typname> ein(e/en) <Typalias>.

[Beispiele]
Wir nennen eine Zahl eine Postleitzahl.
Wir nennen einen Wahrheitswert einen Boolean.

[Beispiel für einen Vektor mit Typparameter T]
Wir nennen einen Vektor mit T gleich Zahl einen ZahlenVektor.
Wir nennen einen Vektor mit T gleich Kommazahl einen KommazahlenVektor.