|
From: | root |
Subject: | Re: [Axiom-developer] Functors |
Date: | Wed, 22 Nov 2006 07:44:00 -0500 |
> In order to type check that piece of code you need compile time > evaluation of foo. That is the reason why Aldor requires parameters of > types to be constant in the given context. In Axiom there would be no problem doing compile-time evaluation provided the appropriate algebra is loaded. Tim
[Prev in Thread] | Current Thread | [Next in Thread] |