[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] spad: language and compiler
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] spad: language and compiler |
Date: |
24 Aug 2006 14:38:19 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
Ralf Hemmecke <address@hidden> writes:
> > f(m: INT, n: INT): PF n == m::PF(n)
that's OK.
> > [f(100, n) for n in primes(1,100)]
that's stupid.
> Ask yourself, what type that list will have and you realise that Aldor will
> reject that its compilation.
Excuse me, Gaby. Sorry about being so stupid.
> > [a::P for P in L]
> That is as problematic as the first list.
"problematic" is an understatement. Sorry.
> > BTW, I think that there is no SPAD language, only a SPAD implementation.
>
> That's a good one. There is an implementation of a non-language. How could
> someone have implemented that?
Quite unbelievable, isn't it? (Maybe I'm being too critical though. I wouldn't
call Basic a "language" in the sense I'm trying to establish here. I probably
should have said: specification)
Martin
- Re: [Axiom-developer] SAGE, Axiom, and usage, (continued)
- Re: [Axiom-developer] SAGE, Axiom, and usage, Gabriel Dos Reis, 2006/08/24
- Re: [Axiom-developer] SAGE, Axiom, and usage, Gabriel Dos Reis, 2006/08/23
- Re: [Axiom-developer] SAGE, Axiom, and usage, Ralf Hemmecke, 2006/08/23
- Re: [Axiom-developer] SAGE, Axiom, and usage, Gabriel Dos Reis, 2006/08/23
- [Axiom-developer] Axiom and commercial success, root, 2006/08/23
- [Axiom-developer] Re: Axiom and commercial success, Gabriel Dos Reis, 2006/08/23
- Re: [Axiom-developer] Re: Axiom and commercial success, C Y, 2006/08/23
- [Axiom-developer] spad: language and compiler, Gabriel Dos Reis, 2006/08/24
- Re: [Axiom-developer] spad: language and compiler, Martin Rubey, 2006/08/24
- Re: [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/24
- Re: [Axiom-developer] spad: language and compiler,
Martin Rubey <=
- Re: [Axiom-developer] spad: language and compiler, William Sit, 2006/08/30
- Re: [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/30
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Jacques Carette, 2006/08/30
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Gabriel Dos Reis, 2006/08/30
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Jacques Carette, 2006/08/30
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Gabriel Dos Reis, 2006/08/30
- Re: [Axiom-developer] spad: language and compiler, William Sit, 2006/08/30
- Re: [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/30
- RE: [Aldor-l] [Axiom-developer] spad: language and compiler, Page, Bill, 2006/08/30
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/31