Elixir i Maguyva: kodegrafer til Phoenix- og OTP-apps

Hvor Elixir får overfladiske AI-værktøjer til at snuble

Næsten alt i Elixir er et makrokald. defmodule, def, use, alias og @impl parses alle som kald, og use GenServer henter adfærd ind, som aldrig står i filen. Et værktøj, der kun ser kaldsyntaksen, kan ikke skelne en definition fra en afhængighed eller en GenServer-callback fra en hjælpefunktion.

Maguyva gør disse makroer til relationer, så en agent kan se, hvilke moduler der implementerer en behaviour, og hvem der kalder en kontekstfunktion.

Hvad Maguyva udtrækker i Elixir

Maguyva dækker .ex- og .exs-filer. Makroerne i Elixir bliver til relationer sådan her:

• alias, import og require registrerer imports.
• use registrerer en import. For OTP- og framework-behaviours som GenServer, Supervisor, Agent, Task, Phoenix.Controller, Phoenix.LiveView og Ecto.Schema registreres det også, at modulet implementerer den behaviour.
• @behaviour-attributter og defimpl-blokke registrerer implementeringen af en behaviour eller en protokol.
• Reserverede modulattributter som @doc, @spec, @impl og @callback registreres som annotationer på den funktion, der følger. Værdiattributter som @timeout 5_000 gør ikke.
• %User{}-structliteraler tæller som instansiering, raise registrerer et throw, og rescue og catch registrerer en catch.

Sprogmakroer som def, defp, defmodule, case og with filtreres fra kaldene, så kaldgrafen viser dine funktioner.

Eksempler på prompts til agenter

• “Hvem kalder Accounts.register_user, og fra hvilke controllere?” (find_symbol, derefter dependency_search incoming)
• “Hvilke moduler implementerer GenServer?” (dependency_search)
• “Spor en betalingsforespørgsel fra controlleren til databasen.” (get_task_context)

Kendte begrænsninger

• Navngivne def-, defmodule-, alias- og import-former er kaldnoder i grammatikken, så i structural_search returnerer kun presettet functions resultater, og kun for anonyme fn-funktioner. Brug find_symbol til navngivne funktioner og moduler.
• Omkring 55 kald fra standardbiblioteket, som IO.puts, String.*, Enum.take og Process.*, filtreres fra relationerne. Brug text_pattern_search til dem.
• Elixir har ikke klassenedarvning, så nedarvningsrelationer er markeret som ikke relevante.

Næste skridt

Tilslut et repository med hurtigstarten, og se derefter understøttelsesmatricen på kompatibilitetssiden. For andre funktionelle kodebaser kan du læse guiden til Haskell.