Überblick

• bei Ausdrücken f (X, Y) kann man Werte von X und Y parallel und unabhängig berechnen,
• wenn die Auswertung von X und Y nebenwirkungsfrei ist.
• im einfachsten Fall sind alle Ausdrücke nebenwirkungsfrei (Haskell)
• Haskell benutzt Bedarfsauswertung. Strategie-Kombinatoren und -Annotationen erzwingen frühere/verteilte Auswertung von Teilausdrücken:
  • Kombinatoren: par X (pseq Y (f X Y))
  • Strategie-Annotationen: xs `using` parList rseq