Haskell di Maguyva: graf kode untuk kelas tipe dan modul

Di mana Haskell menjebak alat AI yang dangkal

Haskell memanggil fungsi tanpa tanda kurung, menyusunnya dengan operator, dan melakukan dispatch melalui kelas tipe. render user adalah sebuah panggilan, f . g <$> xs berisi beberapa panggilan, dan show berarti apa pun yang dikatakan instance tipe tersebut. Pencarian teks menemukan nama, bukan instance di baliknya.

Maguyva mencatat instance dan konstruktor sebagai relasi, sehingga agen dapat melihat tipe mana yang mengimplementasikan sebuah kelas dan di mana sebuah nilai dibuat.

Apa yang diekstrak Maguyva dari Haskell

Maguyva memetakan berkas .hs dan .lhs ke Haskell. Fungsi dan binding diekstrak sebagai callable, sedangkan kelas tipe, tipe data, dan tipe newtype diekstrak sebagai tipe. Panggilan dikenali dalam aplikasi yang dipisahkan spasi dan melalui operator infiks, dan impor menormalkan klausa qualified, hiding, dan as.

Kelas tipe dan konstruktor menjadi relasi graf:

• instance Eq Point mencatat bahwa Point mengimplementasikan Eq.
• Jika sebuah metode kelas memiliki badan bawaan di berkas yang sama, instance yang mendefinisikan metode itu mencatat penimpaan atas bawaan tersebut.
• Menerapkan konstruktor data seperti Point 1 2 dihitung sebagai instansiasi.
• error, undefined, dan throw mencatat lemparan, dan penangan seperti catch mencatat tangkapan.

Karena deklarasi instance dapat mendefinisikan nama seperti show atau return, definisi di berkas yang sama tidak dianggap sebagai target panggilan tanpa penerima dengan nama itu.

Contoh prompt agen

• “Siapa yang memanggil parseConfig, dan dari modul mana saja?” (find_symbol, lalu dependency_search incoming)
• “Tipe mana saja yang memiliki instance ToJSON?” (dependency_search)
• “Telusuri bagaimana sebuah permintaan diurai dan divalidasi.” (get_task_context)

Batasan yang diketahui

• Sekitar 130 nama Prelude dan base seperti map, foldr, fmap, pure, dan >>=, serta modul seperti Data.List dan Control.Monad, difilter dari relasi. Gunakan text_pattern_search untuk itu.
• Dalam tata bahasanya, node fungsi mentah juga menyatakan tipe fungsi, sehingga preset functions di structural_search hanya mengembalikan lambda, sedangkan preset methods dan variables tidak memilih apa pun. Gunakan find_symbol untuk fungsi bernama.
• Berkas literate .lhs dibaca utuh dengan tata bahasa Haskell; harapkan hasil parsial pada berkas tersebut.
• Haskell tidak memiliki sintaksis dekorator, sehingga relasi dekorator ditandai tidak berlaku.

Langkah berikutnya

Hubungkan repositori dengan panduan memulai cepat, lalu periksa matriks dukungan di halaman kompatibilitas. Untuk basis kode fungsional lainnya, baca panduan Elixir.