Haskell in Maguyva: Code-Graphen für Typklassen und Module

Wo Haskell oberflächliche KI-Tools ins Stolpern bringt

Haskell ruft Funktionen ohne Klammern auf, komponiert sie mit Operatoren und dispatcht über Typklassen. render user ist ein Aufruf, f . g <$> xs enthält mehrere, und show bedeutet, was die Instanz für diesen Typ festlegt. Eine Textsuche findet die Namen, nicht die Instanzen dahinter.

Maguyva erfasst Instanzen und Konstruktoren als Beziehungen, damit ein Agent sieht, welche Typen eine Klasse implementieren und wo ein Wert erzeugt wird.

Was Maguyva in Haskell extrahiert

Maguyva ordnet .hs- und .lhs-Dateien Haskell zu. Funktionen und Bindungen werden als Callables extrahiert, Typklassen, data-Typen und newtypes als Typen. Aufrufe werden in leerzeichengetrennter Applikation und über Infix-Operatoren erkannt, und Importe normalisieren qualified-, hiding- und as-Klauseln.

Typklassen und Konstruktoren werden zu Graphbeziehungen:

• instance Eq Point erfasst, dass Point Eq implementiert.
• Hat eine Klassenmethode in derselben Datei einen Default-Rumpf, erfasst eine Instanz, die diese Methode definiert, ein Override des Defaults.
• Die Anwendung eines Datenkonstruktors wie Point 1 2 zählt als Instanziierung.
• error, undefined und throw erfassen Throws, Handler wie catch erfassen Catches.

Weil Instanzdeklarationen Namen wie show oder return definieren können, wird eine Definition in derselben Datei nicht automatisch als Ziel eines gleichnamigen Aufrufs ohne Receiver angenommen.

Beispiel-Prompts für Agenten

• „Wer ruft parseConfig auf, und aus welchen Modulen?“ (find_symbol, dann dependency_search incoming)
• „Welche Typen haben eine ToJSON-Instanz?“ (dependency_search)
• „Verfolge, wie ein Request dekodiert und validiert wird.“ (get_task_context)

Bekannte Grenzen

• Etwa 130 Namen aus Prelude und base, etwa map, foldr, fmap, pure und >>=, sowie Module wie Data.List und Control.Monad werden aus den Beziehungen gefiltert. Verwende dafür text_pattern_search.
• In der Grammatik bezeichnet ein roher Funktionsknoten auch Funktionstypen. Deshalb liefert das Preset functions in structural_search nur Lambdas, und die Presets methods und variables wählen nichts aus. Verwende find_symbol für benannte Funktionen.
• Literate-Dateien (.lhs) werden als Ganzes mit der Haskell-Grammatik gelesen, rechne dort also mit unvollständigen Ergebnissen.
• Haskell hat keine Decorator-Syntax, daher sind Decorator-Beziehungen als nicht anwendbar markiert.

Nächste Schritte

Verbinde ein Repository über den Schnellstart und prüfe dann die Unterstützungsmatrix auf der Kompatibilitätsseite. Für andere funktionale Codebasen lies den Elixir-Leitfaden.