Ü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 Annotationen (Kombinatoren) par X (pseq Y (f X Y))
• Haskell benutzt (in diesem Fall: leider) Bedarfsauswertung, diese muß man ggf. umgehen,
  d.h. Auswertung von Teilausdrücken erzwingen