Sviluppo puramente funzionale nel linguaggio Clean

Sviluppo software funzionale ad alte prestazioni nel linguaggio Clean e lo faccio da abbastanza tempo da capire dove i suoi punti di forza si rivelano davvero. La mia specializzazione è il tipo di unicità: modello lo stato in modo che il compilatore possa dimostrare che un valore viene utilizzato esattamente una volta. Questo consente al linguaggio Clean di mutare array, record e file in loco, mentre il codice sorgente rimane puramente funzionale e referenzialmente trasparente. Questo è come ottengo prestazioni a livello C da codice puro, senza effetti collaterali. Compiti tipici: portare kernel numerici o simbolici a Clean, eliminare bug sottili di aliasing di riferimento in un modulo esistente, progettare uno strato I/O tramite *World in modo che gli effetti rimangano espliciti e ordinati, e ottimizzare i binari compilati nativamente a uno stato in cui i cicli caldi si vettorizzano davvero. Profilo onestamente, annota la rigidità dove la pigrizia è costosa e ridisegno strutture dati uniche per ridurre le allocazioni piuttosto che semplicemente silenziare il controllore di tipo. Anche il lavoro di ricerca è benvenuto: in Clean ho sperimentato con riduzione di grafi, combinatori di parser e benchmark riproducibili. Ottieni moduli leggibili, una suite di test, misurazioni rispetto alla tua versione di base e un breve documento che spiega le caratteristiche di unicità in modo che il tuo team possa sviluppare il codice senza di me. Se non sei sicuro che Clean sia adatto al tuo compito — invia una descrizione e ti dirò onestamente in anticipo, prima che tu spenda il budget.