You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Status Quo:
Die DSL hat ein statisches Typsystem. Die Motivation hierfür war, bereits vor der Ausführung der DSL-Programme möglichst aussagekräftige Fehlermeldungen generieren zu können.
Das ist aus Endnutzendensicht wichtig, um möglichst früh auf Fehlerfälle hingewiesen zu werden. Aus Entwickelndensicht ist es allerdings auch wichtig, da sich aktuell die Fehler, die auf Typ-Mismatches zurückzuführen sind, erst in der Laufzeit manifestieren, was zu unnötig langen Fehlersuchen führt. Es wird aktuell in der semantischen Analyse kein Typechecking und keine Typinferenz umgesetzt.
Es muss festgelegt werden, welche Regeln für die Typinferenzberechnung gelten sollen und wann Symbole unterschiedlicher Datentypen einander zugewiesen werden können (z. B. int-Wert einer float-Variable zuweisen). Für das Typechecking muss zusammen mit dem Themenkomplex Errorhandling festgelegt werden, wie Typfehler behandelt und kommuniziert werden sollen.
The text was updated successfully, but these errors were encountered:
Status Quo:
Die DSL hat ein statisches Typsystem. Die Motivation hierfür war, bereits vor der Ausführung der DSL-Programme möglichst aussagekräftige Fehlermeldungen generieren zu können.
Das ist aus Endnutzendensicht wichtig, um möglichst früh auf Fehlerfälle hingewiesen zu werden. Aus Entwickelndensicht ist es allerdings auch wichtig, da sich aktuell die Fehler, die auf Typ-Mismatches zurückzuführen sind, erst in der Laufzeit manifestieren, was zu unnötig langen Fehlersuchen führt. Es wird aktuell in der semantischen Analyse kein Typechecking und keine Typinferenz umgesetzt.
Es muss festgelegt werden, welche Regeln für die Typinferenzberechnung gelten sollen und wann Symbole unterschiedlicher Datentypen einander zugewiesen werden können (z. B.
int
-Wert einerfloat
-Variable zuweisen). Für das Typechecking muss zusammen mit dem Themenkomplex Errorhandling festgelegt werden, wie Typfehler behandelt und kommuniziert werden sollen.The text was updated successfully, but these errors were encountered: