RE: [xacml] Re: [xacml-comment] D024

On Tue, 3 Dec 2002, Daniel Engovatov wrote:

>
> >All arguments can be type checked in advance.
>
> Define "advance"?

It was your term.

> Yes, it is typechecked before the decision is made.  The exact sequence
> of said operations is implementation dependent.  That's why I said we are
> talking about different definition of time.
>
> My point was that the policy document MAY be tested and accepted INDEPENDENT
> of context data type verification.

Yes, but I was not referring to the context data. The actual policy was
not type correct, and hence not well formed.

-Polar

> In implementation that is concerned about efficiency that may be a key
> distinction.
>
> >The theory of type systems and polymorphic functions allows complete
> >typing of every element of an expression.
>
> The practice of implementation of said systems cause a great deal of
> PITA for extension API development, that being the reason of such
> language being rather unpopular.
>
> D;
>