Haskell v Maguyva: grafy kódu pro typové třídy a moduly

Kde Haskell podráží povrchní AI nástroje

Haskell volá funkce bez závorek, skládá je pomocí operátorů a rozesílá volání přes typové třídy. render user je jedno volání, f . g <$> xs jich obsahuje několik a show znamená to, co řekne instance pro daný typ. Textové vyhledávání najde jména, ne instance, které se za nimi skrývají.

Maguyva zaznamenává instance a konstruktory jako relace, takže agent vidí, které typy implementují třídu a kde vzniká hodnota.

Co Maguyva v Haskellu extrahuje

Maguyva přiřazuje soubory .hs a .lhs k jazyku Haskell. Funkce a vazby se extrahují jako volatelné prvky, typové třídy, typy data a newtype jako typy. Volání se rozpoznávají v aplikaci oddělené mezerami i přes infixové operátory a importy normalizují klauzule qualified, hiding a as.

Typové třídy a konstruktory se stávají relacemi v grafu:

• instance Eq Point zaznamená, že Point implementuje Eq.
• Pokud má metoda třídy výchozí tělo ve stejném souboru, instance, která tuto metodu definuje, zaznamená přepsání výchozí implementace.
• Aplikace datového konstruktoru, například Point 1 2, se počítá jako vytvoření instance.
• error, undefined a throw zaznamenávají vyhození výjimek a obslužné funkce jako catch jejich zachycení.

Protože deklarace instancí mohou definovat jména jako show nebo return, definice ze stejného souboru se automaticky nepovažuje za cíl volání bez příjemce se stejným jménem.

Ukázkové prompty pro agenty

• „Kdo volá parseConfig a z kterých modulů?“ (find_symbol, pak dependency_search incoming)
• „Které typy mají instanci ToJSON?“ (dependency_search)
• „Vysleduj, jak se požadavek dekóduje a validuje.“ (get_task_context)

Známá omezení

• Asi 130 názvů z Prelude a base, například map, foldr, fmap, pure a >>=, a moduly jako Data.List a Control.Monad se z relací odfiltrují. Pro ně použijte text_pattern_search.
• V gramatice označuje surový uzel funkce i funkční typy, takže preset functions v structural_search vrací jen lambdy a presety methods a variables nic nevyberou. Pro pojmenované funkce použijte find_symbol.
• Literátní soubory .lhs se čtou celé gramatikou Haskellu, takže u nich počítejte s neúplnými výsledky.
• Haskell nemá syntaxi dekorátorů, proto jsou relace dekorátorů označeny jako nepoužitelné.

Další kroky

Připojte repozitář podle rychlého startu a pak si prohlédněte matici podpory na stránce kompatibility. U dalších funkcionálních kódových základen si přečtěte průvodce jazykem Elixir.