Costrutti e linguaggi di programmazione con controllo degli effetti laterali

Gli effetti laterali, cioè effetti nascosti prodotti dalla esecuzione di una istruzione, sono dannosi ai fini della comprensione e documentazione dei programmi. In questo lavoro si passeranno in rassegna i tipi principiale di effetti laterali così come sono permessi dai più noti linguaggi di programmazione, e verranno presentate alcune soluzioni per limitarli, contenute in linguaggi di recente progettazione. In particolare, verranno esposti gli aspetti più rilevanti di un linguaggio in corso di sviluppo a Pisa.