Re: [open-axiom-devel] Rep as language feature or convention

Ralf Hemmecke <ralf@...> writes:

| On 01/19/2012 09:11 PM, Gabriel Dos Reis wrote:
| >     -- In domain definitions, it makes an artificial distinction between
| >        the domain form and % (fornunately OpenAxiom has courtesy
| >        conversions to minimize the ill effects of this artificial
| >        distinction.)
| 
| "domain form"? Can you give a code example that make it more clear
| what distinction you mean?

Take any domain definition, say Integer.  You have

    Integer(): ...

and in the ... you have a reference to %.  That % designates the same
thing as Integer(), but most Spad compilers don't know that.  So one gets
to use silly `pretend' expressions to get around that -- with increased
potential of introducing plain bugs that the compiler cannot catch.  See
definition of reducedSystem in Integer.

-- 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