[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: Problem kTuple wish 2.
From: |
Stephen Wilson |
Subject: |
[Axiom-developer] Re: Problem kTuple wish 2. |
Date: |
26 Jun 2007 14:43:51 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Hello Ralf,
Ralf Hemmecke <address@hidden> writes:
[...]
> Try to define this apply function.
>
> Important, I want to have as much type safety as possible, i.e. If I
> would have written
>
> c := m(1, "x", false);
>
> the compiler should already shout that the type of the first argument
> doesn't fit.
Initial thinking suggests that this would be difficult, if not
impossible, to implement genericly using static types. I know of no
way to specify a non-homogeneous `cross' of arbitrary dimension, for
use as a meaningfull signature for `m' which the compiler could check.
Its been said before that static typing, when pushed to the limit,
becomes equivalent to dynamic typing -- that is to say, they are not
polar opposites.
Certainly this kind of generality is not on the radar for me any time
soon.
>
> Good luck.
>
> Ralf
Thanks,
Steve
- [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/25
- Re: [Axiom-developer] Axisp news, C Y, 2007/06/25
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/25
- Re: [Axiom-developer] Axisp news, Martin Rubey, 2007/06/25
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/25
- Re: [Axiom-developer] Axisp news, Martin Rubey, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Martin Rubey, 2007/06/26
- Re: [Axiom-developer] Axisp news, Martin Rubey, 2007/06/26
- [Axiom-developer] Problem kTuple wish 2., Ralf Hemmecke, 2007/06/26
- [Axiom-developer] Re: Problem kTuple wish 2.,
Stephen Wilson <=
- Re: [Axiom-developer] Axisp news, Ralf Hemmecke, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Martin Rubey, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] combinat mailing list, Martin Rubey, 2007/06/26
- Re: [Axiom-developer] combinat mailing list, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Ralf Hemmecke, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Ralf Hemmecke, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26