[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Type-assignment in one pass
- From: "K.Kawaguchi" <firstname.lastname@example.org>
- To: Eric van der Vlist <email@example.com>
- Date: Fri, 02 Feb 2001 11:15:22 -0800
Probably now you see why it is called "pattern" in TREX...
And just in case you don't know, you may also want to see XDuce, which
is based on ML (thus a descendant of Prolog)
It's exactly doing what you're thinking, I guess.
> I meant that we have ambiguity as long as the criteria to choose between
> alternatives are not specified.
> There appears then to be 2 approaches: you can (like W3C XML Schema)
> forbid any construct that would be ambiguous or allow constructs that
> would be ambiguous and remove the ambiguity by specifying the algorithm
> to chose between the different possibilities.
Right. My stupid question is, what is the merit of removing ambiguity by