W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2009

Re: ISSUE-92: n-ary builtins

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 03 Mar 2009 15:17:44 +0100
Message-ID: <49AD3C08.4020600@ilog.fr>
To: kifer@cs.sunysb.edu
CC: Jos de Bruijn <debruijn@inf.unibz.it>, Axel Polleres <axel.polleres@deri.org>, Chris Welty <cawelty@gmail.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Michael,

Michael Kifer wrote:
> 
> Anyway, we have several possible routes to go with an option-3-like solution:
> 
> 3a. Remove all the well-formedness requirements. The same symbol can have
>     several arities, can be a pred, func, and an individual in different
>     contexts.
> 3b. To keep the separation between preds, funcs, and individuals, but pred,
>     func, external symbols can have multiple arities.
> 
> 3c. To keep things as before, but for external symbols to allow multiple arities
>     (and maybe even allow them to be funcs and preds in different contexts).


To clarify the difference between your options 3b and 3c: in 3b, you mean that "all pred and func symbols, whether external or not, can have multiple arities"; whereas 3c is that "all external symbols, whether pred or func, can have multiple arities (but only external symbols)". Right?

Christian
Received on Tuesday, 3 March 2009 14:18:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:03 GMT