Aurel Page on Mon, 06 Aug 2012 15:31:01 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

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

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.


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 :-(