Elixir у Maguyva: графи коду для застосунків на Phoenix і OTP

Де Elixir збиває з пантелику поверхові ШІ-інструменти

Майже все в Elixir є викликом макросу. defmodule, def, use, alias і @impl розбираються як виклики, а use GenServer привносить поведінку, якої у файлі ніколи не видно. Інструмент, що бачить лише синтаксис викликів, не здатен відрізнити визначення від залежності чи колбек GenServer від допоміжної функції.

Maguyva перетворює ці макроси на зв’язки, і агент бачить, які модулі реалізують behaviour і хто викликає функцію контексту.

Що Maguyva витягує з Elixir

Maguyva охоплює файли .ex і .exs. Макроси Elixir стають зв’язками так:

• alias, import і require фіксують імпорти.
• use фіксує імпорт. Для behaviour OTP і фреймворків, як-от GenServer, Supervisor, Agent, Task, Phoenix.Controller, Phoenix.LiveView і Ecto.Schema, він також фіксує, що модуль реалізує цей behaviour.
• Атрибути @behaviour і блоки defimpl фіксують реалізацію behaviour або протоколу.
• Зарезервовані атрибути модуля, як-от @doc, @spec, @impl і @callback, фіксуються як анотації наступної функції. Атрибути, що зберігають значення, наприклад @timeout 5_000, не фіксуються.
• Літерали структур %User{} вважаються створенням екземпляра, raise фіксує викидання винятку, а rescue і catch фіксують його перехоплення.

Макроси мови, як-от def, defp, defmodule, case і with, відфільтровано з викликів, тож граф викликів показує ваші власні функції.

Приклади промптів для агентів

• «Хто викликає Accounts.register_user і з яких контролерів?» (find_symbol, потім dependency_search за вхідними зв’язками)
• «Які модулі реалізують GenServer?» (dependency_search)
• «Простеж платіжний запит від контролера до бази даних.» (get_task_context)

Відомі обмеження

• Іменовані форми def, defmodule, alias і import у граматиці є вузлами викликів, тому результати в structural_search повертає лише пресет functions, і то тільки для анонімних функцій fn. Для іменованих функцій і модулів використовуйте find_symbol.
• Близько 55 викликів стандартної бібліотеки, як-от IO.puts, String.*, Enum.take і Process.*, відфільтровано зі зв’язків. Для них використовуйте text_pattern_search.
• В Elixir немає успадкування класів, тому зв’язки успадкування позначено як незастосовні.

Наступні кроки

Під’єднайте репозиторій за швидким стартом, потім перегляньте матрицю підтримки на сторінці сумісності. Для інших функціональних кодових баз прочитайте посібник із Haskell.