vm.c

[Marc Nieper-Wißkirchen]

Alex,

do you have written down some internals of your virtual machine? For evaluation and demonstration purposes, I would like to implement the two primitives I talked about in https://srfi-email.schemers.org/srfi-155/msg/6065261.

I think I can grok the source code but having some documentation on the stack layout and how procedure calls (especially tail calls) and parameter and return values work would be nicer.

Marc

[Alex Shinn]

Nothing written down, but I can at least sketch out the stack structure.  Delimited continuations and delimited dynamic bindings built on continuation marks are a long-standing todo.

2017/07/15 午後10:26 "Marc Nieper-Wißkirchen" <marc....@gmail.com>:

--
You received this message because you are subscribed to the Google Groups "chibi-scheme" group.
To unsubscribe from this group and stop receiving emails from it, send an email to chibi-scheme+unsubscribe@googlegroups.com.
To post to this group, send email to chibi-...@googlegroups.com.
Visit this group at https://groups.google.com/group/chibi-scheme.
For more options, visit https://groups.google.com/d/optout.

[Marc Nieper-Wißkirchen]

Am Sonntag, 16. Juli 2017 03:49:18 UTC+2 schrieb Alex Shinn:

Nothing written down, but I can at least sketch out the stack structure. 

That would be great and certainly helpful for future work and contributions to Chibi's virtual machine.

 

Delimited continuations and delimited dynamic bindings built on continuation marks are a long-standing todo.

How would your implementation of delimited continuations on top of continuation marks look like? Do you want to install a continuation mark for each active procedure on the call-stack?

--

Marc

[Marc Nieper-Wißkirchen]

I wrote a specification for continuation marks in SRFI 157. It also includes a sample implementation, which, however, is just an IEEE 1178-1990 Scheme running in a host scheme. It would be nice to see a native implementation in an R7RS scheme.

--

Marc