Haskell-tuki Maguyva-palvelussa: koodigraafit tyyppiluokille ja moduuleille

Missä Haskell kampittaa pinnallisia tekoälytyökaluja

Haskell kutsuu funktioita ilman sulkeita, yhdistää niitä operaattoreilla ja välittää kutsut tyyppiluokkien kautta. render user on yksi kutsu, f . g <$> xs sisältää useita, ja show tarkoittaa sitä, mitä kyseisen tyypin instanssi sanoo. Tekstihaku löytää nimet, ei niiden takana olevia instansseja.

Maguyva tallentaa instanssit ja konstruktorit suhteina, joten agentti näkee, mitkä tyypit toteuttavat luokan ja missä arvo rakennetaan.

Mitä Maguyva poimii Haskellista

Maguyva liittää .hs- ja .lhs-tiedostot Haskelliin. Funktiot ja sidonnat poimitaan kutsuttavina, ja tyyppiluokat, data-tyypit ja newtype-tyypit tyyppeinä. Kutsut tunnistetaan välilyönnein erotetussa soveltamisessa ja infiksioperaattoreiden kautta, ja tuonnit normalisoivat qualified-, hiding- ja as-lausekkeet.

Tyyppiluokista ja konstruktoreista tulee graafin suhteita:

• instance Eq Point tallentaa, että Point toteuttaa luokan Eq.
• Kun luokan metodilla on samassa tiedostossa oletusrunko, metodin määrittelevä instanssi tallentaa oletuksen ohituksen.
• Datakonstruktorin soveltaminen, kuten Point 1 2, lasketaan instanssin luonniksi.
• error, undefined ja throw tallentavat poikkeusten heittoja, ja käsittelijät kuten catch tallentavat sieppauksia.

Koska instanssimäärittelyt voivat määritellä nimiä kuten show tai return, samassa tiedostossa olevaa määritelmää ei oleteta samannimisen vastaanottajattoman kutsun kohteeksi.

Esimerkkikehotteita agenteille

• ”Kuka kutsuu funktiota parseConfig ja mistä moduuleista?” (find_symbol, sitten dependency_search incoming)
• ”Millä tyypeillä on ToJSON-instanssi?” (dependency_search)
• ”Jäljitä, miten pyyntö dekoodataan ja validoidaan.” (get_task_context)

Tunnetut rajoitukset

• Noin 130 Preluden ja base-kirjaston nimeä, kuten map, foldr, fmap, pure ja >>=, sekä moduulit kuten Data.List ja Control.Monad suodatetaan pois suhteista. Käytä niihin text_pattern_search-työkalua.
• Kieliopissa raaka funktiosolmu tarkoittaa myös funktiotyyppejä, joten structural_search-työkalun esiasetus functions palauttaa vain lambdoja, eivätkä esiasetukset methods ja variables valitse mitään. Käytä nimettyihin funktioihin find_symbol-työkalua.
• Lukutaitoiset .lhs-tiedostot luetaan kokonaisuudessaan Haskellin kieliopilla, joten niistä saadaan todennäköisesti vain osittaisia tuloksia.
• Haskellissa ei ole dekoraattorisyntaksia, joten dekoraattorisuhteet on merkitty soveltumattomiksi.

Seuraavat vaiheet

Yhdistä repositorio pikaoppaan avulla ja tarkista sitten tukimatriisi yhteensopivuussivulta. Muissa funktionaalisissa koodikannoissa lue Elixir-opas.