[Top][All Lists]
[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
[Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/10
- Message not available
- Message not available
- Message not available
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/10
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/10
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/12
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/12
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/13