axiom-math
[Top][All Lists]
Advanced

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

Re: [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types


From: Martin Rubey
Subject: Re: [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types
Date: Fri, 7 Jan 2005 19:59:40 +0100

Dear Marcus, Stephen,

thanks for your code!

Stephen Wilson writes:
 
 > btw, I dont feel this is a weakness in axioms static typing (its not
 > really static since we can produce new types at runtime). In my mind,
 > it is more a weakness w.r.t axioms ability express dependent
 > signatures. If we could write things like:
 > 
 >     SAE ==> SimpleAlgebraicExtension
 > 
 >     f: (ULS, eq: SUP) -> SAE(K, SUP K, eq)

Well, that's exactly what I meant with "static typing". I have to go and look
what Aldor does with respect to this...

Martin





reply via email to

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