On 16.12.2010, at 15:41, Sebastian Fischer wrote:
> Here is a summary:
>
> 1. In a lazy language with call-time choice, choice is idempotent.
This is only the case if you consider sets but in fact all
implementations use "multisets". Furthermore if you want to assign a
denotational semantics to encapsulation you probably need a multiset
model anyway.
Does it change anything if you consider a denotational model that
employs multisets?
Cheers, Jan
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Dez 16 2010 - 16:50:47 CET