|
From: | Ralf Hemmecke |
Subject: | Re: [open-axiom-devel] Cartesian Product, was: Re: [Axiom-mail] A little print problem |
Date: | Wed, 17 Oct 2007 11:05:59 +0200 |
User-agent: | Thunderbird 2.0.0.6 (X11/20070728) |
For Alasdair, not even that's necessary. What would be nice would be Cross as in Aldor. Well, in fact, it would be nice to have Aldor replace SPAD...
Although it would be nice to have Aldor replace SPAD (as a language), why don't you use Record as a workaround? You can easily produce your own domain that models
Integer x F Record(i: Integer, f: F) would be the right thing.Actually (at least in Aldor) that cannot be printed, but to go around this, simply wrap this Record with a definition of a new domain, that has the property "CoercibleTo(OutputForm)" and implement that coerce nicely.
Of course, that is some work, but "Cross" wouldn't help here anyway. Ralf
[Prev in Thread] | Current Thread | [Next in Thread] |