Ralf Hemmecke <[EMAIL PROTECTED]> writes:

> > I played around with things like Tuple Cross(T: PrimitiveType, List T) and
> > couldn't get it to work.
> 
> Oh, what did you want to put into the List T thing? 

Tuple Cross(T: PrimitiveType, List T)

would have been the representation of a BLL-multiset.

> > I believe that is due to the fact that Tuples are not
> > updateable, as the AUG says, and that makes sense, too.
> 
> That is certainly a problem. But also Array instead of Tuple would probably 
> not
> help. And with Array one loses a nice (and natural) syntax.

Why? the problem is only with the internal representation, I believe.

> What will probably not work is
> 
>    Rep == F G.
> 
> The arities are then missing and things get a bit more complicated.

Maybe I'll try.

Martin


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel

Reply via email to