From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4e39e3650a0d633,start
X-Google-Attributes: gid103376,public
From: Ehud Lamm <mslamm@mscc.huji.ac.il>
Subject: Icon Co-Expressions in Ada
Date: 1998/12/16
Message-ID: 
 <Pine.A41.3.96-heb-2.07.981216194156.29486C-100000@pluto.mscc.huji.ac.il>#1/1
X-Deja-AN: 422945651
To: icon-group@optima.CS.Arizona.EDU
Content-Type: TEXT/PLAIN; charset=US-ASCII
Organization: The hebrew University of Jerusalem
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-12-16T00:00:00+00:00
List-Id: <comp.lang.ada>

I am thinking about implimenting Goal Directed Evaluation ala Icon, as an
Ada package. I considred two options:
1. Using "static" data (that is, variables stored in the package's body,
in Ada) to impliment the suspend mechanism. This has its obvious problems.

2. Using Ada's tasking facilites. This has the disadvantage of making the
user use tasks. It is sad, since as far as I know you can't simply make an
Ada procedure behave in a task like way, by invking other procedures. The
task must be explicit.

Any thoughts or ideas are more than welcome. If someone did it already -
so much the better. I'd also be happy to see references (esp. Web based)
on implimenting co-expressions.

Thanks. 

Ehud Lamm     mslamm@pluto.mscc.huji.ac.il