Example of Complication (1/2)
In CML:
f : int->intš§ f(3) : int
may return:
different results in parallel (? non-determinism)
fun f(i) = let val c : int chan = channel() in (spawn(fn () => send(c, i + 1)); spawn(fn () => send(c, i + 2)); recv(c)) end
Previous slide
Next slide
Back to first slide
View graphic version