[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Aldor-l] [Axiom-developer] spad: language and compiler
From: |
Gabriel Dos Reis |
Subject: |
Re: [Aldor-l] [Axiom-developer] spad: language and compiler |
Date: |
30 Aug 2006 08:05:22 -0500 |
Jacques Carette <address@hidden> writes:
| Ralf Hemmecke wrote:
| > Compile time evaluation in full
| > generality introduces a way make it really hard to find bugs.
| >
| > But anyway, maybe Aldor should allow compile time evaluation.
| >
| Quick remark -- it has been shown that:
| 1) C++'s template language is a Turing Complete PL
| 2) Haskell's class types (with common extensions) is also a Turing
| Complete PL
| 3) All meta-programming systems allow arbitrary compile time evaluation
|
| Yes, it does make debugging harder. But the advantages seem to _far_
| outweigh the problems. One just develops new debugging (and coding)
| techniques to deal with the added power/complexity.
|
| I could re-use Stephen's brilliant closing line from yesterday's email:
| "These kinds of errors have to be seen as bugs in programs, just as
| division by zero is a programming error and not an invalidation of
| integer arithmetic." -- S.M. Watt
| [where 'These kinds of errors' is now /Programs with infinite loops in
| types/]
I agree with most of what you said. However, the slogan "well-typed
programs don't go wrong" does some value that I would heisate to
compromise...
-- Gaby
- [Axiom-developer] Axiom and commercial success, (continued)
- [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, 2006/08/24
- 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 <=
- 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
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/31
- RE: [Axiom-developer] Re: Axiom and commercial success, Bill Page, 2006/08/23
- [Axiom-developer] Re: Axiom and commercial success, root, 2006/08/24
- Re: [Axiom-developer] Re: Axiom and commercial success, Gabriel Dos Reis, 2006/08/24