Re: [Texmacs-dev] First results on Schemes, Lisps & others

[David MENTRE]

Joris van der Hoeven <address@hidden> writes:

> How does this implementation work.

I have taken a very quick look at the code. It is just a Scheme
interpreter written in OCaml. There is no compilation to OCaml bytecode
or OCaml code. Of course, it uses the good OCaml garbage collector.

For fun, I might add schoca at the Scheme shootout.

> Since Scheme mostly seems to be a strict part of OCaml (am I right?),

I can't say. I don't know Scheme enough.

> would it not be possible to syntactically rewrite Scheme programs into
> OCaml programs (apart from call/cc). WHat do I miss?

I'm not sure for syntactical rewriting. I always fear corner minor
issues that make such translation hard in practice (e.g. mutability of
strings, handling of numerical issues, ...). 

To have a strong answer, we would need to do a side-by-side comparison,
but I won't do it tonight. :)

Yours,
d.
-- 
 David Mentré <address@hidden>