Re: [Axiom-developer] Functors

[root]

> 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