Haskell στο Maguyva: γράφοι κώδικα για κλάσεις τύπων και αρθρώματα

Πού σκοντάφτουν τα επιφανειακά εργαλεία AI στη 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 επιστρέφει μόνο lambda, ενώ οι προεπιλογές methods και variables δεν επιλέγουν τίποτα. Χρησιμοποιήστε το find_symbol για επώνυμες συναρτήσεις.
• Τα εγγράμματα αρχεία .lhs διαβάζονται ολόκληρα με τη γραμματική της Haskell· αναμένετε ελλιπή αποτελέσματα σε αυτά τα αρχεία.
• Η Haskell δεν έχει σύνταξη διακοσμητών, οπότε οι σχέσεις διακοσμητών σημειώνονται ως μη εφαρμόσιμες.

Επόμενα βήματα

Συνδέστε ένα αποθετήριο με τον γρήγορο οδηγό εκκίνησης και έπειτα δείτε τον πίνακα υποστήριξης στη σελίδα συμβατότητας. Για άλλες συναρτησιακές βάσεις κώδικα, διαβάστε τον οδηγό για την Elixir.