Ich habe mehrere Quellen gesehen, die die Meinung vertreten, dass "Haskell allmählich zu einer abhängig typisierten Sprache wird". Die Implikation scheint zu sein, dass Haskell mit immer mehr Spracherweiterungen in diese allgemeine Richtung driftet, aber noch nicht da ist.

Grundsätzlich möchte ich zwei Dinge wissen. Die erste ist ganz einfach, was es eigentlich bedeutet, "eine abhängig typisierte Sprache zu sein"bedeuten? (Hoffentlich ohne zu technisch zu sein.)

Die zweite Frage ist ... was ist der Nachteil? Ich meine, die Leute wissen, dass wir in diese Richtung gehen, also muss das einen Vorteil haben. Und doch sind wir noch nicht da, also muss es einige Nachteile geben, die die Menschen davon abhalten, den ganzen Weg zu gehen. Ich habe den Eindruck, dass das Problem eine steile Zunahme der Komplexität ist. Da ich jedoch nicht wirklich verstehe, was abhängiges Tippen ist, weiß ich es nicht genau.

Was ichtun Ich weiß, dass der Text jedes Mal, wenn ich anfange, über eine abhängig geschriebene Programmiersprache zu lesen, völlig unverständlich ist ... Vermutlich ist das das Problem. (?)