Rust impl of Zinc Abstract Machine?

Is there any Rust impl of the Zinc Abstract Machine ? https://xavierleroy.org/publi/ZINC.pdf

The SECD machine ( SECD machine - Wikipedia ) is very popular for writing Lisp interpreters, but has the downside that currying involves expensive heap invocations.

ZINC, which I believe OCaml interpreter is based upon, avoids some of these allocations.

Before I translate one from C / OCaml -- is there any ZINC abstract machine implementations (perhaps by another name) in Rust ? (or as a subpart of an existing rust project?) crates.io: Rust Package Registry seems to nave nothing useful.

Related, from OCaml Forums: Minimal impl of Zinc Abstract Machine? - Learning - OCaml

1 Like

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.