[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiommath] What is the "+/" operator?
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiommath] 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
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
 [Axiommath] What is the "+/" operator?, Igor Khavkine, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Martin Rubey, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Bill Page, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Bill Page, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/24
 Re: [Axiommath] What is the "+/" operator?,
Gabriel Dos Reis <=
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23