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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
