axiom-math
[Top][All Lists]
Advanced

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

Re: [Axiom-math] Dynamically constructed return types / Aldor


From: Martin Rubey
Subject: Re: [Axiom-math] Dynamically constructed return types / Aldor
Date: Mon, 10 Jan 2005 18:01:06 +0100

A comma in the cc list was missing. Sorry.

Martin Rubey writes:
 > Dear Marcus, Stephen, Tim,
 > 
 > > Concerning Aldor, the appropriate section to read seems to be 7.4 of
 > > aldorug.pdf, pgs 77ff. I don't have the time right now to try it out, but 
 > > it
 > > might work.
 >  
 > 
 > I just tried it out, it works. Another reason to use Aldor as future
 > language. Tim: can you estimate how much of an effort it would be to get 
 > Aldor
 > at least as external compiler going? (Currently, one cannot use domains
 > compiled with the Aldor compiler within Axiom)
 > 
 > Here's the proof of concept, using the domain IntegerMod defined in 
 > Aldorug.pdf:
 > 
 > FOO: with {f:(n:Integer)->IntegerMod(n) } == add {f(n:Integer):IntegerMod(n)
 > == coerce(10)$IntegerMod(n) }
 > 
 > Try it out:
 > 
 > lift(f(6)$FOO2)$IntegerMod(6)
 > 4 @ AldorInteger
 > 
 > Martin





reply via email to

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