[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Functors

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]