[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiomdeveloper] Re: 1: %
From: 
Gabriel Dos Reis 
Subject: 
[Axiomdeveloper] Re: 1: % 
Date: 
22 Feb 2006 16:00:44 +0100 
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 sideeffect 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/axiomdeveloper/200602/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
 Re: [Axiomdeveloper] about Expression Integer, (continued)
 Re: [Axiomdeveloper] about Expression Integer, Gabriel Dos Reis, 2006/02/20
 Re: [Axiomdeveloper] about Expression Integer, Ralf Hemmecke, 2006/02/20
 RE: [Axiomdeveloper] about Expression Integer, Bill Page, 2006/02/20
 Re: [Axiomdeveloper] about Expression Integer, Gabriel Dos Reis, 2006/02/20
 Re: [Axiomdeveloper] about Expression Integer, Ralf Hemmecke, 2006/02/21
 Re: [Axiomdeveloper] about Expression Integer, Gabriel Dos Reis, 2006/02/21
 [Axiomdeveloper] 1: %, Ralf Hemmecke, 2006/02/21
 [Axiomdeveloper] Re: 1: %, Gabriel Dos Reis, 2006/02/21
 [Axiomdeveloper] Re: 1: %, Gabriel Dos Reis, 2006/02/21
 [Axiomdeveloper] Re: 1: %, Ralf Hemmecke, 2006/02/22
 [Axiomdeveloper] Re: 1: %,
Gabriel Dos Reis <=
 [Axiomdeveloper] Re: 1: %, Ralf Hemmecke, 2006/02/22
 [Axiomdeveloper] Re: 1: %, Gabriel Dos Reis, 2006/02/23
 [Axiomdeveloper] Re: 1: %, Ralf Hemmecke, 2006/02/22
 Re: [Axiomdeveloper] about Expression Integer, Ralf Hemmecke, 2006/02/21
 Re: [Axiomdeveloper] about Expression Integer, Gabriel Dos Reis, 2006/02/20
 Re: [Axiomdeveloper] about Expression Integer, Ralf Hemmecke, 2006/02/21
 Re: [Axiomdeveloper] about Expression Integer, Gabriel Dos Reis, 2006/02/21
 RE: [Axiomdeveloper] about Expression Integer, Bill Page, 2006/02/20
 Re: [Axiomdeveloper] about Expression Integer, Ralf Hemmecke, 2006/02/21
 Re: [Axiomdeveloper] about Expression Integer, Ralf Hemmecke, 2006/02/21