Re: [Axiom-developer] Unions in Spad

[Gabriel Dos Reis]

On Thu, 12 Jul 2007, Stephen Wilson wrote:

|                                               I believe that it would
| be worth while to consider the `static typing where possible, dynamic
| typing where necessary' approach to language design.

I think we all agree on that.  The issue -- a very tough isue -- is
to define "where necessary" in the context of dependent types.

-- Gaby