Torsten Anders wrote:
Dear Raphael,
The constructs "or", "dis", etc. are abstractions. The real primitive
operation is "choice". For the book it was chosen to focus on the
primitive operation instead of discussing Mozart-specific abstractions.
Sorry, this response is confusing for me. Why are 'or', 'dis' (and
perhaps also 'cond', 'not' and Combinator.'reify' ?) abstractions of the
primitive 'choice'? Can these abstractions be defined in terms of 'choice'?
Sorry about the confusion. 'or', 'cond', and 'not' are defined in terms
of computation spaces, but those don't use 'choice'. However, 'dis' is
defined in terms of 'choice'.
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
