4 ms·
Yes, I know this, but this is going the other direction and seems kind of noteworthy: OCamlPro exists to promote OCaml, and it looks like they're making some fo
by UncleOxidant 5y ago
Yes, I know this, but this is going the other direction and seems kind of noteworthy: OCamlPro exists to promote OCaml, and it looks like they're making some forays into Rust?
- mirekrusin 5y agoOCaml - Rust interop would be very cool, whatever low-level stuff you can throw into Rust while being able to use it from OCaml would be interesting.
- mseri 5y agoThere are a number of interesting projects already doing this, either doing it manually via the c FFI or using projects like ocaml-rs [1] or ocaml-interop [2] for example [1]: https://github.com/zshipko/ocaml-rs https://github.com/zshipko/ocaml-rs [2]: https://github.com/tezedge/ocaml-interop https://github.com/tezedge/ocaml-interop
- baby 5y agoWe use ocaml-rs[1] and ocaml-gen[2] for that, it works pretty well although there’s room for improvement. [1]: https://github.com/zshipko/ocaml-rs https://github.com/zshipko/ocaml-rs [2]: https://github.com/o1-labs/proof-systems/tree/a4b06e71106704cae4e7ec8edbded2f0c7f81990/ocaml/ocaml-gen https://github.com/o1-labs/proof-systems/tree/a4b06e71106704...