Fragen zum erstellen moderner Webseiten

[1unitedpower]

• verboses und viel kompliziertes Typsystem Du meinst wegen der Ausgaben bei Fehlern?

Nein, das meine ich nicht. Die Fehlererkennung vor der Laufzeit ist ja gerade der Clue bei Typsystemen, und je mehr Fehler man auf diese Weise aufdecken kann, desto besser.

Insgesamt ziehe ich starke Typisierung einer dynamischen Typisierung vor.

C++ ist schwach und statisch typisiert, das heißt das einige Typfehler zwar vom Compiler erkannt werden können (das ist die statische Komponenten), aber dass zur Laufzeit trotzdem noch Typfehler auftreten können (das ist die schwache Komponente).

Worauf ich eigentlich hinaus wollte: Das C++ Typsystem ist irre kompliziert und sehr langatmig, mindestens auf zwei Weisen: Es gibt nur wenige Typinferenz-Regeln, das heißt Typannotationen müssen in den meisten Fällen ausgeschrieben werden. Und zweitens werden Typannotationen oft über Teilausdrücke fragmentiert, das macht sie schlechter lesbar. Ein Beispiel aus der Wikipedia.

vector<int> pick_vector_with_biggest_fifth_element(
    vector<int> left,
    vector<int> right
)

Der Rückgabewert der Funktion wird vor der Definition notiert, die Typen für die Parameter innerhalb der formalen Parameterliste. Ich bevorzuge da Typannotationen wie in funktionalen Sprachen. In PureScript würde man diesen Typen zum Beispiel so angeben:

pick_vector_with_biggest_fifth_element :: (Vector Int, Vector Int) -> Vector Int

(Mit Haskell-Syntax-Highlighting, weil 's besser aussieht).

Darüber hinaus finde ich das Typsystem kompliziert in dem Sinne, dass ihm kein formales Schema zugrunde liegt und seine Regeln deshalb schwer zu erfassen sind. Es kann nicht mit mathematischen Theorien auf diesem Gebiet (Typtheorie, Beweistheorie oder Kategorientheorie) erklärt werden. Das mag ziemlich realitätsverdrossen klingen, aber es führt in der Praxis einfach dazu, dass man viele Datentypen immer wieder neu definiert anstatt sie durch geeignete Spezialisierungen abstrakterer Typen zu definieren (Functor, Monoid, Monad, Comonad etc.). Algebraische Typsysteme sind insofern simpler, als dass ihre Regeln sehr transparent und nachvollziehbar sind – nicht simpler im Sinne von "einfacher zu erlernen".