Torsten Anders wrote:
In which cases is the threaded version preferable, in which cases
would you prefer the plain version?
The design of Oz follows the philosophy 'don't perform magic, do it
explicit'. Thus, threads are easily created explicitly.
Best,
Torsten
In the case of threads, the original version of Oz, Oz 1, created
threads implicitly.
After some time we saw that this was the wrong decision. For example,
it makes
reasoning about termination much harder. Again and again, we learned
the lesson
that making things explicit is the best solution: state, threads,
laziness, search. For
more detailed motivation, please see the article "Logic Programming in
the Context
of Multiparadigm Programming, The Oz Experience", TPLP Nov. 2003:
http://www.info.ucl.ac.be/people/PVR/tutFinal.pdf
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
