Haskell у Maguyva: графи коду для класів типів і модулів

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

Haskell викликає функції без дужок, комбінує їх операторами та диспетчеризує через класи типів. render user є викликом, f . g <$> xs містить кілька викликів, а show означає те, що задає екземпляр для цього типу. Текстовий пошук знаходить імена, але не екземпляри за ними.

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

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

Maguyva зіставляє файли .hs і .lhs з Haskell. Функції та прив’язки витягуються як об’єкти виклику, а класи типів, типи data і типи newtype як типи. Виклики розпізнаються в застосуванні через пробіл і через інфіксні оператори, а імпорти нормалізують речення qualified, hiding і as.

Класи типів і конструктори стають зв’язками графа:

• instance Eq Point фіксує, що Point реалізує Eq.
• Якщо метод класу має тіло за замовчуванням у тому самому файлі, екземпляр, що визначає цей метод, фіксує перевизначення значення за замовчуванням.
• Застосування конструктора даних, як-от Point 1 2, вважається створенням екземпляра.
• error, undefined і throw фіксують викидання винятку, а обробники на кшталт catch фіксують його перехоплення.

Оскільки оголошення екземплярів можуть визначати імена на кшталт show або return, визначення в тому самому файлі не вважається ціллю виклику без отримувача з таким ім’ям.

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

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

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

• Близько 130 імен із Prelude і базової бібліотеки, як-от map, foldr, fmap, pure і >>=, а також модулі на кшталт Data.List і Control.Monad, відфільтровано зі зв’язків. Для них використовуйте text_pattern_search.
• У граматиці простий вузол функції позначає й функціональні типи, тому пресет functions у structural_search повертає лише лямбди, а пресети methods і variables нічого не вибирають. Для іменованих функцій використовуйте find_symbol.
• Файли грамотного програмування .lhs читаються повністю граматикою Haskell; для них результати можуть бути неповними.
• У Haskell немає синтаксису декораторів, тому зв’язки декораторів позначено як незастосовні.

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

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