Mon Aug 3 11:25:52 CEST 2009
A different model for tasks
From a practical pov, the current implementation based on stack
copying might in practice not be optimal. Let's create a linear
version, where a task can only be resumed _in-place_.
Ultimately my goal is to use the same C primitives in Scheme and a
linear, stack based PF-like language.
So, practically, what is the next step? First make sure that in the
current DaVinci code this model can be used. Implementation of the
task mechanism isn't that important: get the semantics right first.