There is a lot of details about the guts here, written by one of the aforementioned experts:
I'm afraid that I don't know of any readable introduction to the OCaml internals. However if you are
really interested then I'd recommend you read this chapter from the manual:
It took me about a year of on-again off-again reading to understand exactly how clever the runtime
representation of types is which the above chapter describes.
For a general introduction to OCaml, http://www.ocaml-tutorial.org/
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds