Example of Complication (3)
In ML:?
In CML:let val c1:bool chan = channel () val c2:bool chan = channel () val _ = spawn(fn()=> (send(c1, false); send(c2, true)))in recv(c2) andalso recv(c1)end (* evaluation gets stuck! *)
Previous slide
Next slide
Back to first slide
View graphic version