Informazioni sul servizio
TradottoSviluppo codice applicato e di ricerca nel linguaggio Egison — un linguaggio funzionale la cui caratteristica principale è la corrispondenza di pattern non lineari espressivi su tipi di dati non liberi: insiemi, multisets, grafi. Se hai dati la cui struttura non si adatta alla corrispondenza di pattern standard, progetto un matcher adatto, e il linguaggio Egison si occupa del lavoro pesante. La mia pratica si divide in tre direzioni. Prima — progettazione di pattern: codifico collezioni, permutazioni, combinazioni di poker, allineamento di sequenze e vincoli combinatori come matcher concisi e li verifico con test esaustivi. Secondo — calcolo simbolico e matematico: applico il motore simbolico integrato e la notazione degli indici tensoriali per derivare e differenziare espressioni, prototipare algoritmi e verificare identità che sono noiose da calcolare a mano. Terzo — supporto alla ricerca: aiuto a riprodurre risultati da articoli sul linguaggio Egison, porto prototipi e trasformo specifiche matematiche in codice eseguibile. Il deliverable include codice sorgente pulito e commentato, README, suite di test eseguibile e una breve chiamata con walkthrough. Ho anni di esperienza nella programmazione funzionale con Haskell e Scheme, quindi il passaggio a Egison avviene naturalmente. Descrivi quali strutture hai bisogno di abbinare e quali identità provare, e ti invierò un piano con traguardi prima della prima riga di codice.
