Generics Syntax

[bafto]

Generics sind zwar ein Feature für die ferne Zukunft, aber hier trotzdem schonmal ein Syntax Vorschlag:

Die Funktion foo mit den Typparametern T und R und  dem Parameter t vom Typ T, gibt ein R zurück, macht:
... [normale Funktionsdeklaration]

[bafto]

Erneuerter Vorschlag mit Kombinationen (mit ein paar ungelösten Problemen):

Für Kombinationen braucht es ebenfalls Syntax um generische Typen anzugeben.
Dazu schlage ich zusätzlich noch als weiteres Feature Typedefs vor (seperater Issue aber hier schon aufgeführt).

Wir nennen die von den Typparametern Schlüssel und Wert abhängige Kombination aus:
    [
     Was soll der Standartwert von Schlüssel oder Wert sein? 
        Vorschlag: 0 für Zahl, "" für Text, nur Standartwerte für Strukturen, etc.
     Problem: Es gibt (viele) Kombinationen, die keinen solchen Konstruktor-Alias haben (also einen Alias ohne Parameter).
     Solche Kombinationen wollen eigentlich nicht mit ihren Standardwerten, sondern mit Parametern instanziert werden.
    ]
    dem Schlüssel schlüssel, 
    dem Wert wert, [""]
einen KartenEintrag, und erstellen sie so:
    "ein KartenEintrag aus <schlüssel> und <wert>"
    
[ Typedefs würden auch für normale Typen gehen, aber auch spezielle Syntax für Generische Typen erlauben ]
Ein TextZahlEintrag ist ein KartenEintrag mit S gleich Text und W gleich Zahl. 
    

Wir nennen die von den Typparametern T und U abhängige Kombination aus:
    [
      Problem hier und bei Funktionsparametern.
      Wie instanziert man generische Typen ohne Typedef?
      So wie hier ist es sehr hässlich und lang, und in Funktionsdeklarationen ist es ein noch größeres Problem.
    ]
    der KartenEintrag mit Schlüssel gleich T und Wert gleich U Liste einträge mit Standardwert eine leere KartenEintrag mit Schlüssel gleich T und Wert gleich U Liste. [ doppelte Typ-instanzierung! ]
eine Karte, und erstellen sie so:
    "eine leere Karte"
    
[ Hilfs-typedefs ]
Eine TextZahlKarte ist eine Karte mit T gleich Text und U gleich Zahl.
Eine TextTextKarte ist eine Karte mit T gleich Text und U gleich Text.

Die von den Typparametern T und U abhängige Funktion foo mit den Parametern
k1 und k2 vom Typ
TextTextKarte [elegant mit einem Typedef gelöst]
und Karte mit T gleich T und U gleich U [sehr hässlich, weil Typparameter weitergeben werden müssen],
gibt nichts zurück, macht:
    ...
Und kann so benutzt werden:
    ...

Wie man sieht gibt es ein kleines und ein großes Problem bei diesem Ansatz.

Das kleine Problem ist die Frage welchen Standartwert Generische Kombinations-Variablen haben sollen.

Das deutlich größere Problem ist die Frage wie man einen generischen Typ instanziert.
Der Ansatz Typname mit T gleich Text, U gleich Zahl und V gleich Kommazahl ist unglaublich lang und oftmals redundant.
Bis jetzt ist mir allerdings noch kein besserer eingefallen.

[bafto]

Die Typedef Syntax oben war nur ein temporärer Vorschlag.
Für eine bessere Variante siehe den Issue zu Typedefs.