Funktionale Programmierung mit Haskell und Idris
Effekte kontrollieren
Der funktionalen Programmiercommunity hängt vielerorts der Ruf an, esoterischen Code zu schreiben, der wenig bis gar nichts mit der „Realität“ zu tun hat. Das ist insbesondere in der funktionalen Programmiersprache Haskell möglich, und der noch junge Abkömmling Idris setzt bei der Esoterik noch eins drauf.
Dieser Artikel ist eine kleine Reise durch einige ausgewählte Elemente der funktionalen Sprachen Haskell und Idris, die das Programmieren mit „Effekten“ in den Griff bekommen – also den Aspekt der Programmierung, der in der Praxis am meisten Probleme macht. Vorkenntnisse in Haskell oder Idris sind für die Lektüre zwar hilfreich, aber nicht erforderlich; ein wenig Geduld und Fantasie sind allerdings notwendig.
Effekte, was soll das überhaupt sein?
Der Begriff des „Seiteneffekts“ ist allgemein bekannt: Die Auswertung eines Ausdrucks hat in vielen Programmiersprachen nicht nur ein Ergebnis, sondern „verändert die Welt“, also den Zustand des Programms, und zwar durch eine Zuweisung an eine Variable oder ein Objektattribut:
