Interesting OCaml Articles

AFAIK this is implemented in OCaml: