Ich persönlich find es gut, dass die Typüberprüfung bereits bei der Definiton des Generics stattfindet.
Mir wären C++ Templates lieber gewesen, dann müsste man nicht für jeden Typ einen eigenen Comparer nutzen, der allein durch den Aufruf der Compare-Funktion nicht an die Performance eines direkten "Wert1 = Wert2" herranreicht.
Container-Libraries waren für mich immer der wichtigste Grund Generics haben zu wollen.
Wenn ich jetzt aber sehe, dass ich meine Container (Maps, Multimaps, ...) ganz klassisch
schneller, kleiner und einfacher hinbekomme, fällt es mir nicht wirklich schwer auch
ganz auf Generics zu verzichten.
Ein simpler Typsicherer Wrapper für eine TObjektList mag noch ok sein, aber das reicht dann schon.
Komplexere Konstrukte gehören für mich in einen Code-Generatoren (mit so vielen Parametern und
Einstellungsmöglichkeiten wie man will) oder Metasprachen (die nach Pascal compilieren).
Man muss dafür nicht auch noch die ohnehin schon überladene Pascal-Syntax quälen.