Re: What is the "+/" operator?

Gabriel Dos Reis <[email protected]>
Newsgroups gmane.comp.mathematics.axiom.general
Message-ID <[email protected]>
On Thu, 24 May 2007, Ralf Hemmecke wrote:

| Just another remark about the statement above.
| Even if that is common in the current SPAD code, I don't like to see quotes
| around the +. Quotes should be reserved to produce strings.

that is a syntax issue, not semantics. :-)

I would not engage on syntax at this moment 

| You probably know that quotes in Aldor mean to call the function
| 
|   string: Literal -> SomeType

Yes.

| So with a little work the above statement could be made litterally working in
| Aldor, but for my taste I would rather like to write
| 
|   (+)/[1,2,3]
| 
| since the parentheses let the + forget about its infixedness (see AUG).

I know -- same in Haskell (and Boot).

| Writing _+ (underscore plus) would be better, but also doesn't look very
| attractive to me.

As I said, we're going there into syntax discussion, not semantics :-)

-- Gaby
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.