But, but, ... he sputters ...
I thought Axiom was supposed to be a system for mathematicians,
or at least a system to do mathematics by computer. From that
point of view there is barely a telescope long enough to hide
the dirty details of the entrails of the computer. ;)
On November 22, 2005 5:13
--- root <[EMAIL PROTECTED]> wrote:
> ultimately i think the issue comes down to this: i'm a
> primitivist by nature and expect programmers, like myself, to
> know EXACTLY what the machine will execute when i use high
> level languages like spad, lisp, or haskell. (and to send
> email by tapping
ultimately i think the issue comes down to this: i'm a primitivist
by nature and expect programmers, like myself, to know EXACTLY what
the machine will execute when i use high level languages like spad,
lisp, or haskell. (and to send email by tapping on the correct wire pair
in an ethernet cable wi
Tim,
When I read through your email I have to admit that I felt a
little depressed. I hope I don't sound too "condescending" by
saying this, but I felt like your email moves the discussion
of types in Axiom backwards to nearly "high school programming"
levels, not even computer science 101... :(
The example
> (1) -> I:Integer
> Type: Void
> (2) -> F:Float:=1.0
>
>(2) 1.0
> Type: Float
> (3) -> I := F pretend Integer
>
>(3) 1()
'pretend' is only for system-internal use. it basicall
On November 21, 2005 4:48 PM I wrote:
>
> It is pretty clear in the following example that the Axiom
> interpreter does something odd:
>
> (1) -> I:Integer
> Type: Void
> (2) -> F:Float:=1.0
>
>(2) 1.0
>
On November 21, 2005 3:14 PM Gaby wrote:
> ...
> Bill Page wrote:
> | There is one very important type-related construction in
> | Spad and in Aldor that looks as if it might make them "weak"
> | in the sense in which the author of the above quote implies
> | the use of cast in the C language make
"Bill Page" <[EMAIL PROTECTED]> writes:
| On November 21, 2005 12:59 PM Gaby wrote:
|
| >
| > "Bill Page" writes:
| >
| > | On November 20, 2005 11:50 PM Gaby wrote:
| > | > |
| > | > | We have mentioned before on this list the very good article
| > | > |
| > | > | http://en.wikipedia.org/wik
