Example of Complication (3)
In ML:let val r1:bool ref = ref false val r2:bool ref = ref truein !r2 andalso !r1end (* evaluates to false *)
In CML:?
Previous slide
Next slide
Back to first slide
View graphic version