Sviluppo in Koka: Effetti Algebrici e Gestori

Sono un ingegnere di programmazione funzionale e lavoro quotidianamente in Koka — un linguaggio di ricerca costruito attorno agli effetti algebrici e ai tipi di effetto basati su righe. Se hai bisogno di un prototipo, libreria o strumento vicino al compilatore dove ogni effetto collaterale è tracciato nella firma del tipo, non nascosto nel runtime, ti aiuterò. Il mio lavoro tipico appare così: descrivo il tuo dominio con un piccolo insieme di operazioni di effetto, scrivo gestori che danno a queste operazioni un significato concreto e lascio che il controllore di tipi di Koka dimostri che nessun effetto non gestito sfugge. Grazie a questo, la stessa logica funziona su un database reale, un stub o una riproduzione deterministica per i test — basta scambiare il gestore. Ho usato questa tecnica per costruire parser, automi finiti, pipeline asincrone e interpreti per piccoli linguaggi di dominio. Dal lato del compilatore, leggo con sicurezza come Koka sviluppa gli effetti in stile evidenza-passing, ragiono su come la compilazione tipizzata abbassa i gestori e diagnostico perché una riga di effetto non si unifica come ti aspettavi. Di conseguenza, ottieni codice sorgente Koka pulito e commentato, una breve nota di progetto che giustifica le firme di effetto scelte e una suite di test che controlla ogni gestore in isolamento. I punti complessi li descrivo separatamente in modo che il tuo team possa mantenere il codice dopo di me. Se vedi i gestori di effetto come un sostituto per i trasformatori di monadi o spaghetti di callback — inviami il compito e proporrò un design di effetto concreto prima di iniziare.