Re: Icon Co-Expressions in Ada

[Ehud Lamm <mslamm@mscc.huji.ac.il>]

On 17 Dec 1998, Stephen Leake wrote:

> Ehud Lamm <mslamm@mscc.huji.ac.il> writes:
> 
> I think I understand "suspend"; it's what Knuth calls a "coroutine". I'm not
> clear what "suspend <integer>" means?

It is like return <integer>, only that the function's execution can be
resumed.

> 
> You definitely need tasks to do this in Ada, since the task stack is
> where the procedure state is saved. At each "suspend", you could have
> an accept statement. The caller would still have to write a loop to
> get the goal-directed behavior.

This, indeed, is the reason I mentioned tasks in the first place. I just
wanted to emphesize that this mechanism is less general than Ada tasking.

> Ok; Ada tasks are executedin parallel...

You don't say :-)

I was thinking along the lines of the user coding a routine and invokin
procedures which will you tasking capabilites in a limted way. Enough for
suspend etc. but not general tasking.

However as I mentioned in my first post on this topic, this can not be
done since a task must clearly be marked as such.

Ehud Lamm mslamm@mscc.huji.ac.il 
http://www2.cybercities.com/e/ehud/ada  Ada&SE and Ada challanges