Re: Invertible nondeterminism?

From: Jan Christiansen <>
Date: Thu, 16 Dec 2010 15:47:55 +0100

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
Received on Do Dez 16 2010 - 16:50:47 CET

This archive was generated by hypermail 2.3.0 : Do Jun 13 2024 - 07:15:10 CEST