[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: |
Wed, 30 Aug 2006 12:25:25 -0500 (CDT) |
On Wed, 30 Aug 2006, Jacques Carette wrote:
| Gabriel Dos Reis wrote:
| > 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...
| >
| But well-typed programs can still diverge! So "go wrong" just means
| that _when_ they return a value, it is guaranteed to be of the right type.
No dispute there.
With Type:Type, it is not clear to me that when a well-typed
expression does not diverge, its value is not "wrong".
-- Gaby
- Re: [Axiom-developer] Re: Axiom and commercial success, (continued)
- 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, 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: [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
- [Axiom-developer] Re: Axiom and commercial success, Gabriel Dos Reis, 2006/08/23
- Re: [Axiom-developer] SAGE, Axiom, and usage, C Y, 2006/08/22