Played around a bit with OxCaml, and used unboxed types to create a very simple arithmetic interpreter with ~zero allocation. The documentation is lacking but the overall vision is compelling! I find it more ergonomic to work with than Rust; there is a very gentle slope from writing normal FP GC'ed code to optimized code.