Da MIT Proto a Collektive: Trasposizione di esempi di programmazione aggregata in un DSL in Kotlin.

La rapida diffusione di dispositivi intelligenti ha reso sempre più centrale la programmazione di sistemi distribuiti su larga scala. I paradigmi tradizionali, incentrati sul singolo dispositivo, evidenziano limiti in termini di modularità, scalabilità e resilienza, rendendo complessa la progettazione di applicazioni collettive. La programmazione aggregata affronta queste criticità adottando una prospettiva globale: il comportamento dell’intera rete viene descritto tramite un unico programma aggregato, fondato su formalismi come Field Calculus e le sue estensioni. Nel corso degli anni sono stati sviluppati diversi linguaggi e framework per supportare questo paradigma, ciascuno con punti di forza e debolezze. MIT Proto ha rappresentato una pietra miliare storica, ma soffre di limitazioni legate ad ergonomia e portabilità. Collektive, un Domain-Specific Language interno a Kotlin, si propone come soluzione moderna, offrendo una sintassi espressiva, gestione trasparente dell’allineamento e supporto multipiattaforma. Questo lavoro presenta la trasposizione di una selezione di programmi aggregati, originariamente sviluppati in Proto, nell’ecosistema Collektive. L’obiettivo è fornire una guida pratica alla migrazione di sistemi esistenti verso soluzioni più moderne e robuste, facilitando l’adozione delle nuove tecnologie.