On Wed, 4 Dec 2002, Anne Anderson wrote:
> Polar,
>
> How do you handle the type-correctness checking in the case of
> custom functions?
Custom functions must present its type, which is a valid type expression.
> Do all custom functions have to be hardwired into your XACML evaluation
> engine?
No.
> If not, and you have a pluggable interface, is there some method to
> query for the types of the arguments that a given function expects? Or
> what?
Yes. A function expresses its type.
The function "integer-to-double" expresses its type as
("http://......#integer" -> "http://.....#double")
Even the function map has a type:
( ( a -> b ) -> Bag a -> Bag b )
where a and b are type variables.
-Polar
>
> Anne
> --
> Anne H. Anderson Email:
> Sun Microsystems Laboratories
> 1 Network Drive,UBUR02-311 Tel: 781/442-0928
> Burlington, MA 01803-0902 USA Fax: 781/442-1692
>
>
> ----------------------------------------------------------------
> To subscribe or unsubscribe from this elist use the subscription
> manager: <http://lists.oasis-open.org/ob/adm.pl>
>
