Parallelität durch Annotationen

(Bibliothek Concurrent.Parallel)

• x `par` y:
  • Berechnung von (whnf von) x starten
  • Resultat (sofort) ist y
• x `pseq` y:
  • Berechnung von (whnf von) x starten
  • Resultat (wenn fertig) ist y

typische Benutzung: a `par` b `pseq` f a b