Re: [xml-dev] XPath +/- etc not first class functions

[Dimitre Novatchev <dnovatchev@gmail.com>]

> Two problems with that:
>  (a) it would need syntax extensions rather than just a function library, and

Yes, and this can be dealt with in a new version of XPath

>  (b) operators are polymorphic in a way that functions aren't (which is why we have the long names).

Wasn't the new xs:numeric type defined in XPath 3? AFAIR, it was.

Or do you mean another type of polymorphic behavior here?

Cheers,
Dimitre

On Mon, Aug 28, 2017 at 3:40 PM, Michael Kay <mike@saxonica.com> wrote:
>
>> On 28 Aug 2017, at 21:57, Dimitre Novatchev <dnovatchev@gmail.com> wrote:
>>
>> On Mon, Aug 28, 2017 at 1:47 PM, Michael Kay <mike@saxonica.com> wrote:
>>> Yes: perhaps this could be the shortest EXPath spec ever. Just define a binding of the op prefix to the namespace http://expath.org/ns/operators and you're done.
>>>
>>
>> Yes, but the name
>>
>>    op:numeric-add()
>>
>> seems prohibitively-long and inconvenient. Kinda Hungarian notation ...
>>
>> Compare to Haskell' section
>> (https://wiki.haskell.org/Section_of_an_infix_operator):
>>
>> (+)
>>
>> Seems like there is definitely considerable space for improvement
>>
>
>
> Two problems with that: (a) it would need syntax extensions rather than just a function library, and (b) operators are polymorphic in a way that functions aren't (which is why we have the long names).
>
> Michael Kay
> Saxonica



-- 
Cheers,
Dimitre Novatchev
---------------------------------------
Truly great madness cannot be achieved without significant intelligence.
---------------------------------------
To invent, you need a good imagination and a pile of junk
-------------------------------------
Never fight an inanimate object
-------------------------------------
To avoid situations in which you might make mistakes may be the
biggest mistake of all
------------------------------------
Quality means doing it right when no one is looking.
-------------------------------------
You've achieved success in your field when you don't know whether what
you're doing is work or play
-------------------------------------
To achieve the impossible dream, try going to sleep.
-------------------------------------
Facts do not cease to exist because they are ignored.
-------------------------------------
Typing monkeys will write all Shakespeare's works in 200yrs.Will they
write all patents, too? :)
-------------------------------------
Sanity is madness put to good use.
-------------------------------------
I finally figured out the only reason to be alive is to enjoy it.