Ralf Hemmecke <r...@hemmecke.de> writes:

| > | Yes, I am proposing that the compiler infer constructors.  I don't
| > | think partial abbreviation statements (i.e. omitting the actual
| > | abbreviation) are necessary. In the compiler if I write:
| > |
| > |    F(...):Category == ...
| > |
| > | The compiler knows it is compiling a category, right?
| >
| > The problem isn't when F is defined as a category and is visible to the
| > compiler.  The problem is when F *uses* a symbol that is to be defined
| > as a constructor and that definition isn't available for various reasons.
| 
| Aldor can live without abbreviations. It sounds as if you are saying
| that SPAD could not.

Indeed, Aldor made certain design choices different from Spad.  Aldor
requires keyword 'define' to designate certain constants that have to be
treated in certain ways.

-- Gaby

------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to