David Bremner wrote:
I guess this is more of a CTM question than strictly a Mozart question.
I'm wondering about kernel syntax for feature selection. I wasn't able
to get a clear understanding of what the kernel syntax for feature
selection is supposed to be. It seems that in a strict sense, R.F is not
a kernel value (as defined in Chapter 2)
I can see how to simulate
X = R.F
with
R = <label>( <f1>:_ <f2>:_ F:X )
But is this the best solution? For one thing, I think the error handling
is different. For another, it requires knowing the complete arity of the
record, which . does not.
The record selection function is not part of the kernel language defined
in chapter 2. It is one of the basic functions that are added to the
kernel language, just like Arity and Label, for practical programming.
When translating a program to kernel syntax, the syntax of record
selection is defined as in your first example: X=R.F.
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
