Haskell in Maguyva: grafi del codice per type class e moduli

Dove Haskell fa inciampare gli strumenti di IA superficiali

Haskell chiama le funzioni senza parentesi, le compone con gli operatori e fa dispatch tramite le type class. render user è una chiamata, f . g <$> xs ne contiene diverse, e show significa ciò che dice l’istanza per quel tipo. Una ricerca testuale trova i nomi, non le istanze che ci sono dietro.

Maguyva registra istanze e costruttori come relazioni, così un agente vede quali tipi implementano una classe e dove viene costruito un valore.

Cosa estrae Maguyva in Haskell

Maguyva associa i file .hs e .lhs a Haskell. Funzioni e binding vengono estratti come callable, e type class, tipi data e newtype come tipi. Le chiamate vengono riconosciute nell’applicazione separata da spazi e attraverso gli operatori infissi, e gli import normalizzano le clausole qualified, hiding e as.

Type class e costruttori diventano relazioni del grafo:

• instance Eq Point registra che Point implementa Eq.
• Quando un metodo di classe ha un corpo predefinito nello stesso file, un’istanza che definisce quel metodo registra un override del predefinito.
• Applicare un costruttore di dati, come Point 1 2, conta come istanziazione.
• error, undefined e throw registrano throw, e gli handler come catch registrano catch.

Poiché le dichiarazioni di istanza possono definire nomi come show o return, una definizione nello stesso file non viene considerata automaticamente la destinazione di una chiamata senza receiver con quel nome.

Esempi di prompt per agenti

• “Chi chiama parseConfig, e da quali moduli?” (find_symbol, poi dependency_search incoming)
• “Quali tipi hanno un’istanza di ToJSON?” (dependency_search)
• “Traccia come una richiesta viene decodificata e validata.” (get_task_context)

Limiti noti

• Circa 130 nomi del Prelude e di base, come map, foldr, fmap, pure e >>=, e moduli come Data.List e Control.Monad, vengono filtrati dalle relazioni. Usa text_pattern_search per trovarli.
• Nella grammatica un nodo di funzione grezzo indica anche i tipi di funzione, quindi il preset functions di structural_search restituisce solo lambda, e i preset methods e variables non selezionano nulla. Usa find_symbol per le funzioni con nome.
• I file letterati .lhs vengono letti per intero con la grammatica di Haskell, quindi aspettati risultati parziali.
• Haskell non ha una sintassi per i decorator, quindi le relazioni di decorator sono marcate come non applicabili.

Prossimi passi

Collega un repository con la guida rapida, poi consulta la matrice di supporto nella pagina di compatibilità. Per altre basi di codice funzionali, leggi la guida a Elixir.