The OCaml Journal just published the second article in a series about low-level optimization:
"The OCaml programming language is unusually well suited to high-performance computing among functional programming languages because it provides a highly efficient code generator with a performant run-time and garbage collector. This makes it feasible to write high performance programs entirely in OCaml without having to drop to lower-level languages like C and Fortran for performance-critical sections of code. This article covers allocation and garbage collection and various forms of specialization including type, function and data structure specialization..."
To read this article and more, subscribe to The OCaml Journal today!