Re: [a<-b,f(a)]

[Aurel Page <aurel.page@math.u-bordeaux1.fr>]

Le 06/08/2012 12:22, Bill Allombert a écrit :
> On Mon, Aug 06, 2012 at 10:23:14AM +0200, Karim Belabas wrote:
> > One remote possibility would be to get rid of 'filtre' (or let it treat
> > comments only) and make spaces significant, as they always should have
> > been :-(. Then we could have the even more natural
> >
> >    [ a in b, f(a) ]
> Unfortunately, both 'in' and '<-' are valid two charater sequences.
> So using 'in' instead of '<-' would not make any difference, unless you want to
> forbid variables to be called "in".
>
> I do not think it is a sensible idea to allow names to be operators at this stage.
> We need to keep some unity in the language.
>
> Cheers,
> Bill.
The sign that is closest to the mathematical "in" sign is the euro sign 
€ but is looks weird [a € b, f(a)] and not every keyboard has this 
symbol. The @ sign has some idea of containment : [a@b, f(a)] (does it 
already have a meaning in GP ?). No better solution in mind :-(

Cheers,
Aurel