Hm, is 32bit Coq available on Mac/Linux? Apparently on Windows it's still faster, for non-windows specific reasons...
JVMs have ways to (transparently) store some pointers with less than 64bits to get some of the same advantages, I guess ocaml can't do that?
If you compile with opam, then it's the switch that decides: https://discuss.ocaml.org/t/how-to-generate-a-32-bit-binary-on-a-64-bit-system/6163
Last updated: Sep 30 2023 at 06:01 UTC