Yes, this is exactly what I was thinking about looking at the quantum example. For the end-user, it's the same high-level concept, but in the background the imp

Yes, this is exactly what I was thinking about looking at the quantum example. For the end-user, it's the same high-level concept, but in the background the implementation is different. The quantum one create a new fork for each possible choice rather than using backtracking. The quantum example is interesting because it gives us a sneak peek into the future for where it will be possible to write similar code in O(1) time!!