Dear Raphael,
On 02.10.2005, at 11:54, Raphael Collet wrote:
Russ Abbott wrote:
Among other things the tutorial discusses or, dis, etc, (but not
choice) whereas CTM discusses only choice.
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'?
Thank you!
Best,
Torsten
--
Torsten Anders
Sonic Arts Research Centre
Queen's University Belfast (UK)
www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
