[Axiom-developer] Re: fixing SPAD

[Gabriel Dos Reis]

On Sat, 19 May 2007, Martin Rubey wrote:

| > For a given specific case, one might look for a workaround that simulates
| > type checking at runtime.
| 
| I doubt this.

Please don't.  Moving all type checking to runtime will not intrisincally
execute more non-sensical codes; it just makes it inconvenient to write
solid, well structured codes.

My original statement was an observation about why I believe removing
the restriction is something that should be considered.

-- Gaby