Re: A combinatorial question
"Peter Broadbery" <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.user,gmane.comp.lang.aldor |
|---|---|
| Message-ID | <[email protected]> |
>From: Martin Rubey <[email protected]> >Subject: Re: [Axiom-mail] A combinatorial question >Date: 06 Oct 2007 18:33:57 +0200 > >"Peter Broadbery" <[email protected]> writes: > > > >* Axiom does not support Aldor's extend construct. I.e., one cannot >say > > > > > > #include "axiom" > > > extend Integer: LabelType == add ... > > > > > > which makes some ugly - user visible - workarounds necessary. >Enabling that > > > would be wonderful. > > > > Now that the aldor source has turned up (thanks stephen, and apologies >for > > missing the august get together), I'm having another go at getting this >going > > (although I have to admit it's not really a primary goal for me).. I >might > > have something together in a few weeks with a following wind. > >That would be truly wonderful. If there is anything we could do to support >you, please don't hesitate to ask. > >But now I have to ask: what is the primary goal for you? :-) > >Martin Getting axiom to play nice with aldor is the starting point, then there's a few compiler things that I would like to play with - axiom extend will be good to have, but may involve more axiom hacking than I have the patience for. Having the interop stuff in at least one of the various axioms that are floating around is also on the list. Peter _________________________________________________________________ Get Pimped! FREE emoticon packs from Windows Live - http://www.pimpmylive.co.uk