Haskell no Maguyva: grafos de código para type classes e módulos

Onde Haskell derruba ferramentas de IA superficiais

Haskell chama funções sem parênteses, compõe funções com operadores e faz dispatch por type classes. render user é uma chamada, f . g <$> xs contém várias, e show significa o que a instância daquele tipo disser. Uma busca de texto encontra os nomes, não as instâncias por trás deles.

O Maguyva registra instâncias e construtores como relações, para que um agente veja quais tipos implementam uma classe e onde um valor é construído.

O que o Maguyva extrai em Haskell

O Maguyva associa arquivos .hs e .lhs a Haskell. Funções e bindings são extraídos como invocáveis, e type classes, tipos data e newtypes como tipos. Chamadas são reconhecidas na aplicação separada por espaços e por meio de operadores infixos, e os imports normalizam as cláusulas qualified, hiding e as.

Type classes e construtores viram relações do grafo:

• instance Eq Point registra que Point implementa Eq.
• Quando um método de classe tem um corpo padrão no mesmo arquivo, uma instância que define esse método registra um override do padrão.
• Aplicar um construtor de dados, como Point 1 2, conta como instanciação.
• error, undefined e throw registram throws, e handlers como catch registram catches.

Como declarações de instância podem definir nomes como show ou return, uma definição do mesmo arquivo não é assumida como alvo de uma chamada sem receiver com esse nome.

Exemplos de prompts para agentes

• “Quem chama parseConfig, e de quais módulos?” (find_symbol, depois dependency_search incoming)
• “Quais tipos têm uma instância de ToJSON?” (dependency_search)
• “Rastreie como uma requisição é decodificada e validada.” (get_task_context)

Limitações conhecidas

• Cerca de 130 nomes do Prelude e do base, como map, foldr, fmap, pure e >>=, e módulos como Data.List e Control.Monad, são filtrados das relações. Use text_pattern_search para encontrá-los.
• Na gramática, um nó de função bruto também denota tipos de função, então o preset functions do structural_search retorna apenas lambdas, e os presets methods e variables não selecionam nada. Use find_symbol para funções nomeadas.
• Arquivos literate .lhs são lidos inteiros com a gramática do Haskell, então espere resultados parciais neles.
• Haskell não tem sintaxe de decorator, então as relações de decorator estão marcadas como não aplicáveis.

Próximos passos

Conecte um repositório pelo início rápido e depois confira a matriz de suporte na página de compatibilidade. Para outras bases de código funcionais, leia o guia de Elixir.