Informazioni sul servizio
TradottoSono uno specialista in programmazione funzionale e lavoro quotidianamente in Pure language, offrendo sviluppo di software scientifico e matematico chiavi in mano. Pure language è basato su riscrittura di termini: un programma è definito come un insieme di equazioni, e il calcolo procede riscrivendo i termini in forma normale. Questo approccio si mappa naturalmente sulla matematica simbolica, trasformazione algebrica e prototipazione rapida di algoritmi numerici. Poiché Pure-lang si compila in codice macchina tramite il backend JIT di LLVM, lo stile elegante basato su equazioni che scrivi non influisce sulla velocità di esecuzione. Cosa faccio: motori di matematica simbolica (semplificazione, differenziazione, riscritture algebriche), pipeline di elaborazione del segnale e filtri DSP, risolutori numerici e prototipi puliti che consentono ai team di ricerca di testare idee prima di passare a stack più pesanti. Scrivo codice idiomatico e ben strutturato con corrispondenza di pattern sui termini, macro dove giustificato, e sottili ponti FFI verso librerie C quando la velocità di elaborazione è importante. Compiti tipici: portare notebook MATLAB o Python ricchi di matematica in un programma compatto in Pure-lang, incapsulare procedure C o Fortran esistenti per chiamarle direttamente dalle equazioni, costruire piccoli linguaggi specifici per dominio sopra il motore di riscrittura. Ogni risultato viene fornito con una suite di test, documentazione del codice e una breve guida in modo che i tuoi sviluppatori possano evolverlo. Ho anni di esperienza con Pure language e il mondo dei linguaggi funzionali e di riscrittura di termini; la correttezza è importante per me tanto quanto le prestazioni. Descrivi il compito, esempi di input e output attesi — restituirò un modulo funzionante, misurato in termini di prestazioni, con spiegazioni su come le regole di riscrittura si mappano alla tua matematica.
