A Formal Exploration of Pure Reactive Programming: Extending Karcharias with Statefulness and Dynamic Deployments

Il paradigma Reactive è un modello di programmazione ideato per facilitare la creazione di applicazioni reactive, dove la gestione dei flussi di dati in ingresso e la logica di aggiornamento sono fondamentali. Fino ad oggi, i linguaggi reactive sono stati EDSL (Embedded Domain Specific Languages), cioè linguaggi che realizzano le primitive reactive tramite un linguaggio di supporto, denominato linguaggio Host, e sono progettati per domini specifici come la robotica, le animazioni e le interfacce grafiche. Haai rappresenta il primo linguaggio reactive puro, che non dipende da un linguaggio Host e quindi non utilizza costrutti di paradigmi preesistenti (come Monadi e Frecce per i linguaggi reactive funzionali, Oggetti per i linguaggi reactive orientati agli oggetti, ecc.), ed è progettato per essere general-purpose. Karcharias è una semantica small-step ispirata ad Haai. In questo lavoro, esploriamo e arricchiamo Karcharias con nuovi costrutti che consentono la gestione dello stato e la modifica del grafo di dipendenze durante l'esecuzione.