Re: Type-classes and call-time choice vs. run-time choice

From: Sebastian Fischer <>
Date: Fri, 28 Aug 2009 17:02:36 +0200

On Aug 28, 2009, at 3:57 PM, Bernd Brassel wrote:

> What are the values of plus(f (0?1)) and plus'(f' (0?1))

In your example no value of type ETC2 a or ETC2' a is ever shared. If
I understood Wolfgangs proposal correctly, then the annotations imply
that if a value of the declared data type is shared then the annotated
arguments are not shared. At least this is how i implemented it..

As a consequence, the results of both of your calls are 0 or 2 with
the explicit sharing library -- like without any annotation.


Underestimating the novelty of the future is a time-honored tradition.
curry mailing list
Received on Fr Aug 28 2009 - 18:15:11 CEST

This archive was generated by hypermail 2.3.0 : So Dez 03 2023 - 07:15:11 CET