Maguyva'da Haskell: tür sınıfları ve modüller için kod grafları

Haskell yüzeysel yapay zeka araçlarını nerede şaşırtır

Haskell fonksiyonları parantezsiz çağırır, işleçlerle birleştirir ve tür sınıfları üzerinden yönlendirir. render user bir çağrıdır, f . g <$> xs birkaç çağrı içerir, show ise o türün örneği ne diyorsa onu ifade eder. Metin araması adları bulur, arkalarındaki örnekleri bulamaz.

Maguyva örnekleri ve kurucuları ilişki olarak kaydeder; böylece ajan hangi türlerin bir sınıfı uyguladığını ve bir değerin nerede oluşturulduğunu görür.

Maguyva Haskell’den neleri çıkarır

Maguyva .hs ve .lhs dosyalarını Haskell ile eşler. Fonksiyonlar ve bağlamalar çağrılabilir öğe, tür sınıfları, data türleri ve newtype türleri ise tür olarak çıkarılır. Çağrılar boşlukla ayrılmış uygulamada ve araya giren işleçler üzerinden tanınır; içe aktarmalar qualified, hiding ve as yan tümcelerini normalleştirir.

Tür sınıfları ve kurucular graf ilişkilerine dönüşür:

• instance Eq Point, Point’in Eq’yi uyguladığını kaydeder.
• Bir sınıf metodunun aynı dosyada varsayılan bir gövdesi varsa, o metodu tanımlayan örnek varsayılanın geçersiz kılındığını kaydeder.
• Point 1 2 gibi bir veri kurucusunu uygulamak örnekleme sayılır.
• error, undefined ve throw fırlatmaları, catch gibi işleyiciler ise yakalamaları kaydeder.

Örnek bildirimleri show veya return gibi adlar tanımlayabildiği için aynı dosyadaki bir tanım, bu adı taşıyan alıcısız bir çağrının hedefi olarak varsayılmaz.

Örnek ajan istemleri

• “parseConfig’i kim çağırıyor ve hangi modüllerden?” (find_symbol, ardından dependency_search incoming)
• “Hangi türlerin ToJSON örneği var?” (dependency_search)
• “Bir isteğin nasıl çözüldüğünü ve doğrulandığını izle.” (get_task_context)

Bilinen sınırlar

• map, foldr, fmap, pure ve >>= gibi yaklaşık 130 Prelude ve base adı ile Data.List ve Control.Monad gibi modüller ilişkilerden filtrelenir. Bunlar için text_pattern_search kullanın.
• Dilbilgisinde ham bir fonksiyon düğümü fonksiyon türlerini de ifade eder; bu yüzden structural_search içindeki functions hazır ayarı yalnızca lambda döndürür, methods ve variables hazır ayarları ise hiçbir şey seçmez. Adlandırılmış fonksiyonlar için find_symbol kullanın.
• Okuryazar .lhs dosyaları bütünüyle Haskell dilbilgisiyle okunur; bu dosyalarda kısmi sonuçlar bekleyin.
• Haskell’de dekoratör sözdizimi yoktur; bu yüzden dekoratör ilişkileri uygulanamaz olarak işaretlenmiştir.

Sonraki adımlar

Hızlı başlangıç ile bir repo bağlayın, ardından destek matrisi için uyumluluk sayfasına bakın. Diğer fonksiyonel kod tabanları için Elixir rehberini okuyun.