Pascal Molin on Fri, 08 Mar 2013 08:01:32 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: PARI 2.6 syntax 2: [f(x)|x<-a,b(x)] |
The symbol <- was chosen because it was similar to Haskell syntax, and
looked similar to both 'element of' â and to a left arrow â, so it
accomodates both mathematicians and computer scientists faith.
Unfortunately the choice of the symbol <- is problematic because
this leads to an ambiguity between x (<-) a and x < (-a), so we can
only use it immediatly after a vertical bar |, which prevents generalizing
the syntax.
Karim proposes to use <~ instead which is not ambiguous since ~ is not
a valid prefix operator. Unfortunately it is ugly with some fonts where
~ is displayed at the top instead of the middle (looking Âlike in <Ë). Also
it is a 'dead key' on some system (but we already use it for transposition
anyway).
Pascal proposed to use the euro symbol â, but people using US keyboard might
find it hard to type.
Any other suggestion ?
Cheers,
Bill.