headers
Gabriel Dos Reis | 17 Jan 2012 15:24
Picon
Favicon

Re: [open-axiom-devel] parametrized macros in SPAD?

Waldek Hebisch <hebisch@...> writes:

[...]

| I would discourage using this form of macro definition -- it
| just wastes potentially valuable syntax for trivial purpose.
| AFAICS there are no uses of 'macro' in algebra.

For what it is worth, OpenAxiom leans in the opposite direction: the
recommended style is 

     macro m == expr

over

    m ==> expr

hoping that in the future, ==> will be deprecated and removed.
There is no grouping though.

-- Gaby

------------------------------------------------------------------------------
Keep Your Developer Skills Current with LearnDevNow!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-d2d
Permalink | Reply |
headers
Waldek Hebisch | 17 Jan 2012 18:08
Picon

Re: [open-axiom-devel] Re: parametrized macros in SPAD?

> 
> Waldek Hebisch <hebisch@...> writes:
> 
> [...]
> 
> | I would discourage using this form of macro definition -- it
> | just wastes potentially valuable syntax for trivial purpose.
> | AFAICS there are no uses of 'macro' in algebra.
> 
> For what it is worth, OpenAxiom leans in the opposite direction: the
> recommended style is 
> 
>      macro m == expr
> 
> over
> 
>     m ==> expr
> 
> hoping that in the future, ==> will be deprecated and removed.
> There is no grouping though.

 
Any reason for this choice?  'xx ==>' is used a lot in algebra
and is shorter than 'macro xx ==' so I would expect some strong
argument for such change.

--

-- 
                              Waldek Hebisch
hebisch@...
(Continue reading)

Permalink | Reply |
headers
Gabriel Dos Reis | 17 Jan 2012 18:24
Picon
Favicon

Re: [open-axiom-devel] parametrized macros in SPAD?

Waldek Hebisch <hebisch@...> writes:

| > 
| > Waldek Hebisch <hebisch@...> writes:
| > 
| > [...]
| > 
| > | I would discourage using this form of macro definition -- it
| > | just wastes potentially valuable syntax for trivial purpose.
| > | AFAICS there are no uses of 'macro' in algebra.
| > 
| > For what it is worth, OpenAxiom leans in the opposite direction: the
| > recommended style is 
| > 
| >      macro m == expr
| > 
| > over
| > 
| >     m ==> expr
| > 
| > hoping that in the future, ==> will be deprecated and removed.
| > There is no grouping though.
| 
|  
| Any reason for this choice?

The form

    macro m == expr
(Continue reading)

Permalink | Reply |
headers
Waldek Hebisch | 17 Jan 2012 18:57
Picon

Re: [open-axiom-devel] Re: parametrized macros in SPAD?

Gabriel Dos Reis wrote:
> 
> Waldek Hebisch <hebisch@...> writes:
> 
> | > 
> | > Waldek Hebisch <hebisch@...> writes:
> | > 
> | > [...]
> | > 
> | > | I would discourage using this form of macro definition -- it
> | > | just wastes potentially valuable syntax for trivial purpose.
> | > | AFAICS there are no uses of 'macro' in algebra.
> | > 
> | > For what it is worth, OpenAxiom leans in the opposite direction: the
> | > recommended style is 
> | > 
> | >      macro m == expr
> | > 
> | > over
> | > 
> | >     m ==> expr
> | > 
> | > hoping that in the future, ==> will be deprecated and removed.
> | > There is no grouping though.
> | 
> |  
> | Any reason for this choice?
> 
> The form
>
(Continue reading)

Permalink | Reply |
headers
Gabriel Dos Reis | 17 Jan 2012 19:11
Picon
Favicon

Re: [open-axiom-devel] parametrized macros in SPAD?

Waldek Hebisch <hebisch@...> writes:

| Gabriel Dos Reis wrote:
| > 
| > Waldek Hebisch <hebisch@...> writes:
| > 
| > | > 
| > | > Waldek Hebisch <hebisch@...> writes:
| > | > 
| > | > [...]
| > | > 
| > | > | I would discourage using this form of macro definition -- it
| > | > | just wastes potentially valuable syntax for trivial purpose.
| > | > | AFAICS there are no uses of 'macro' in algebra.
| > | > 
| > | > For what it is worth, OpenAxiom leans in the opposite direction: the
| > | > recommended style is 
| > | > 
| > | >      macro m == expr
| > | > 
| > | > over
| > | > 
| > | >     m ==> expr
| > | > 
| > | > hoping that in the future, ==> will be deprecated and removed.
| > | > There is no grouping though.
| > | 
| > |  
| > | Any reason for this choice?
| >
(Continue reading)

Permalink | Reply |

Gmane