On 03/30/2007 10:36 AM, Martin Rubey wrote:
> 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.
Cool. :-) If you check, your Cross(T: PrimitiveType, List T) is
basically nothing else than Object(PrimitiveType).
Now what is the input type for Multiset?
Multiset(M: ???): with {..} == add {
Rep == Tuple Cross(T: PrimitiveType, List T);
...
}
How does the Rep correspond to the M?
How can you make that in a typesafe manner?
Have fun.
Ralf
-------------------------------------------------------------------------
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
