[Axiom-developer] Re: 1: %

[Gabriel Dos Reis]

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.

-- Gaby