Re: Transmit free variables via socket

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Tue, 04 Mar 2008 16:05:33 +0100

Steffen Mazanek wrote:
> I have successfully set up socket communication
> between a curry program (using MCC) and a
> java program. However, in the result computed
> by the curry server may be free variables. In this
> case I get a deadlock error in MCC. It would be
> possible in my scenario to supply a number to
> uniquely numerate the free variables starting
> from this particular number. How can this be
> realized?

Reasoning about the instantiation of variables
is a non-declarative feature. Thus, in PAKCS
this can only be realized by the use of the library Unsafe
( http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/Unsafe.html ).

The Unsafe library contains operations to convert any term
(containing unbound variables) into a string (e.g., showAnyQTerm)
or back (e.g., readAnyQTerm) or a test whether an
expression evaluates to an unbound variable (isVar).
However, all these operations should be used with care
since the order of evaluation might influence their results.
Thus, they are "unsafe" and we have used them only to build
tools (like debuggers) for Curry in Curry.

Best regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mär 04 2008 - 16:14:55 CET

This archive was generated by hypermail 2.3.0 : Sa Dez 07 2019 - 07:15:08 CET