Ü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)
• parallele Auswertung durch
  • Kombinatoren: par X (pseq Y (f X Y))
  • Strategie-Annotationen: xs `using` parList rseq
• Haskell benutzt Bedarfsauswertung, diese muß man ggf. umgehen, d.h. Auswertung von Teilausdrücken erzwingen