[Top][All Lists]

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

Re: [Axiom-math] What is the "+/" operator?

From: Gabriel Dos Reis
Subject: Re: [Axiom-math] What is the "+/" operator?
Date: Thu, 24 May 2007 05:03:32 -0500 (CDT)

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


| 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]