[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Re: CAS for the "masses"
|
From: |
Francois Maltey |
|
Subject: |
Re: [Axiom-mail] Re: CAS for the "masses" |
|
Date: |
03 Apr 2007 09:55:36 +0200 |
|
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Dear Gabriel,
> I suspect that arguments about typed language in CAS may be more
> convincing by studying cases where the type system does add value,
> greatly help solve problems that are much more difficult to tackle
> with a weakly typed language.
The Caley-Hamilton theorem is for me a very good example.
I admire the Martin reponse.
Francois
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Axiom-mail] Re: CAS for the "masses",
Francois Maltey <=