Predictable Performance of OCaml's Module System

OCaml’s module system can be a powerful tool for building generic code and structuring systems. Functors are functions from modules to modules and they serve an important role for the power of module system. However, I want to know if functors (and the module system) can be optimized away by the OCaml compiler.

<span title='2020-12-19 00:00:00 +0800 CST'>December 19, 2020</span>&nbsp;·&nbsp;poga

Going through the OCaml compiler pipeline (manually)

Modern compilers usually composed by multiple stages: parsers, optimizers, linkers, and assemblers. Let’s go through it one by one to have a better understanding of the OCaml compiler.

<span title='2020-11-30 00:00:00 +0800 CST'>November 30, 2020</span>&nbsp;·&nbsp;poga

A Taste of OCaml's Predictable Performance

eqaf, a constant-time compare function implementation in OCaml, is a great case to demonstrate the predictable performance of OCaml’s compiler. Why?

<span title='2020-11-21 00:00:00 +0800 CST'>November 21, 2020</span>&nbsp;·&nbsp;poga

OCaml Quickstart

OCaml is a great language. However, the tooling for newbies is kinda confusing. Here’s a guide to setup a working OCaml development environment in neovim on MacOS. ...

<span title='2020-03-17 00:00:00 +0800 CST'>March 17, 2020</span>&nbsp;·&nbsp;poga