Unveränderliche Daten und kontrollierte Effekte machen nebenläufigen und parallelen Code leichter beherrschbar – von Concurrency-Modellen bis zu parallelen Datenstrukturen.