A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Unboxing Mutually Recursive Type Definitions in OCaml
[article]
2018
arXiv
pre-print
In modern OCaml, single-argument datatype declarations (variants with a single constructor, records with a single field) can sometimes be 'unboxed'. This means that their memory representation is the same as their single argument (omitting the variant or record constructor and an indirection), thus achieving better time and memory efficiency. However, in the case of generalized/guarded algebraic datatypes (GADTs), unboxing is not always possible due to a subtle assumption about the runtime
arXiv:1811.02300v2
fatcat:isdkwab4fjdctjej3rxkwmpvbu