Haskell en Maguyva: grafos de código para clases de tipos y módulos

Dónde Haskell hace tropezar a las herramientas de IA superficiales

Haskell llama a funciones sin paréntesis, las compone con operadores y despacha a través de clases de tipos. render user es una llamada, f . g <$> xs contiene varias, y show significa lo que diga la instancia de ese tipo. Una búsqueda de texto encuentra los nombres, no las instancias que hay detrás.

Maguyva registra instancias y constructores como relaciones, para que un agente vea qué tipos implementan una clase y dónde se construye un valor.

Qué extrae Maguyva en Haskell

Maguyva asigna los archivos .hs y .lhs a Haskell. Las funciones y los enlaces se extraen como invocables, y las clases de tipos, los tipos data y los newtype como tipos. Las llamadas se reconocen en la aplicación separada por espacios y a través de operadores infijos, y las importaciones normalizan las cláusulas qualified, hiding y as.

Las clases de tipos y los constructores se convierten en relaciones del grafo:

• instance Eq Point registra que Point implementa Eq.
• Cuando un método de clase tiene un cuerpo por defecto en el mismo archivo, una instancia que define ese método registra un override del valor por defecto.
• Aplicar un constructor de datos, como Point 1 2, cuenta como instanciación.
• error, undefined y throw registran throws, y los handlers como catch registran catches.

Como las declaraciones de instancia pueden definir nombres como show o return, no se asume que una definición del mismo archivo sea el destino de una llamada sin receptor con ese nombre.

Ejemplos de prompts para agentes

• “¿Quién llama a parseConfig y desde qué módulos?” (find_symbol, luego dependency_search incoming)
• “¿Qué tipos tienen una instancia de ToJSON?” (dependency_search)
• “Rastrea cómo se decodifica y valida una petición.” (get_task_context)

Limitaciones conocidas

• Unos 130 nombres del Prelude y de base, como map, foldr, fmap, pure y >>=, y módulos como Data.List y Control.Monad, se filtran de las relaciones. Usa text_pattern_search para encontrarlos.
• En la gramática, un nodo de función en bruto también denota tipos de función, así que el preset functions de structural_search solo devuelve lambdas, y los presets methods y variables no seleccionan nada. Usa find_symbol para funciones con nombre.
• Los archivos literarios .lhs se leen completos con la gramática de Haskell, así que espera resultados parciales en ellos.
• Haskell no tiene sintaxis de decoradores, así que las relaciones de decoradores están marcadas como no aplicables.

Próximos pasos

Conecta un repositorio con el inicio rápido y luego revisa la matriz de compatibilidad en la página de compatibilidad. Para otras bases de código funcionales, lee la guía de Elixir.