> 
> Similar to Zorba, most functions are non-deterministic. Is there any
> particular reason why the official random functions need to be
> deterministic?
> 

Yes, we don't have any machinery in the language semantics for declaring 
something as nondeterministic (easy to solve) or defining the semantics of how 
it should behave if thus annotated (much harder).

For example, if f() and g() are non-deterministic functions, how do we say in 
the spec that in the expression (f(), g()), f should be executed before g?

Michael Kay
Saxonica 


_______________________________________________
[email protected]
http://x-query.com/mailman/listinfo/talk

Reply via email to