Re: design pattern wanted

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Fri, 11 Apr 2008 17:41:29 +0200

Steffen Mazanek wrote:
> I got two replies so far. The first one suggested a solution
> where instantiated and uninstantiated edges are hold in
> two different data structures. But I guess this can only
> be done making heavy use of unsafe functions and losing
> nice properties.
> The second reply suggested to think about tricks with
> laziness. This is the direction my question was targeted
> at. But I do not actually know whether and how this
> can be done.
> I wonder how the Prolog people deal with this issue. I
> have not found a related approach yet. Do you know
> of any work in this direction?

Sorry, but I don't know. In general, Prolog people tend
to use non-declarative features, like checking for the instantiation
of variables, so that I guess that the first suggestion
would be also done by Prolog users.

Best regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Apr 11 2008 - 17:43:27 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:09 CEST