Thanks for that; the experiments with the SECD are very useful.
Greg is asking a lot of good questions, but we are using that
uncertain medium of conversation, English, to answer them. The SECD
machine provides a precise operational semantics for KLambda and also,
a means of linking the implementation to the architecture of the
digital computer. I think perhaps it might be worth looking at some
of these question through the SECD.
Mark
On Apr 12, 8:48 am, Artella Coding <
artella.cod...@googlemail.com>
wrote:
> >This is a long term project, but will deliver I hope a high
>
> performance version that can be linked to C, LLVM or JVM etc
>
> This link (for clojure) might be useful :
>
>
https://groups.google.com/d/msg/clojure/PsgKVlWZjOw/5YwxV2rSe8UJ<
https://groups.google.com/forum/#!topic/clojure/PsgKVlWZjOw/discussion>