Perlebär.de

Ich habe Quirl um die Möglichkeit für Nutzer erweitert, eigene Datentypen (structures) und Funktionen auf ihnen zu definieren. Damit kann ich zum Beispiel auch Vektoren und Matrizen in Quirl selbst implementieren und gegebenenfalls per Systemprompt beim Start des Interpreters vordefinieren. Zwei Dinge sind im Zusammenhang mit nutzerdefinierten Datentypen allerdings noch zu überlegen. Zum einen können sie zwar direkt rekursiv definiert werden – etwa ein Datentyp zur Modellierung von Bäumen, wo jedem Baumknoten wieder weitere Baumknoten untergeordnet sein können. Aber anders als bei Funktionen ist eine indirekte Rekursion wie im Fall zweier Datentypen, die einander gegenseitig als Elemente verlangen, noch nicht möglich. Frage dazu: Ist das nötig? Beziehungsweise für welche Anwendung wäre das sinnvoll? Die andere Überlegung betrifft Traits. Es wäre schön, wenn zum Beispiel ein vordefinierter Trait wie Scalable auch einen später vom Nutzer definierten Datentyp einschließen würde, wenn dieser skalierbar ist. Dies ist allerdings knifflig, weil es in der Sprache keine globalen Variablen gibt, die veränderbar wären, und Funktionen für eine gegebene Eingabe auch zuverlässig immer das gleiche Ergebnis zurückgeben sollen.

16:24, 13. Golo 2026