[Aldor-l] [Axiom-developer] spad: language and compiler

[Gabriel Dos Reis]

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