[Axiom-developer] Re: 1: %

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

| On 02/22/2006 12:21 AM, Gabriel Dos Reis wrote:
| > Ralf Hemmecke <address@hidden> 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