Ralf Hemmecke <[EMAIL PROTECTED]> writes: | On 02/22/2006 12:21 AM, Gabriel Dos Reis wrote: | > Ralf Hemmecke <[EMAIL PROTECTED]> writes: | > | > | The problem is the "1: %" as a constant (not a nullary | > function). | > | > The distinction is largely syntactic, not fundamental. | > | | I was once told that in Aldor the difference between | > | a: % | > | and | > | b: () -> % | > | is that | > | b() will run a program which might side-effect other things or even | > | return something different each time. | > expanding on my preivous answer, have a look at the section 5.2 os | > the | > Aldor user guide on literal forming -- you can define your own function | > to interpret a string literal as a constant. | | I knew about this Literal stuff before...
I have no doubt about that :-) | http://lists.gnu.org/archive/html/axiom-developer/2006-02/msg00154.html | | But as you see, if you write a domain that has a function | string: Literal -> %, | it is a function and that means that "1" and "1" need not give | identical values. yes, that is precisely why I said in an earlier message that the distinction is largely syntactic. it is not something fundamental in the context of your discussion about axiom and o stuff. Underneath, everything is a function in Aldor! -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
