On Sat, Sep 13, 2014 at 7:19 AM, Stefan Israelsson Tampe <
stefan.itampe@gmail.com> wrote:

> Anyhow today I think that programming in C should be done like in my
> c-lambda repo at gitorius.
>

I can't find it. Can you send me a URL?

 I have actually copied sbcl's assebler for amd64. you can find it in the
> aschm
> repo at gitorious, and here again the meta programming you get with scheme
> is fantastic
>

I found this. It looks really good. I like the way it handles labels. I
haven't yet looked up how you do it, I guess its a syntax macro of some
kind - I didn't know they could do that though.

It looks like SBCL hackers have been playing with virtual machines
metaprogrammed in LISP for a while. But they don't do abstract syntax for
their VM, so every implementation is a concrete LISP program implementing
the VM in some particular assembler or other. But writing a common,
abstract VM spec, as an s-exp, for example, and then interpreting that one
common abstract spec in each of the particular concrete assembler languages
is only a small step to make. But it gets you a completely portable LISP
runtime very quickly, if all your LISP primitives were specified in that
abstract assembler.

Ian