OCaml Programming: Correct and Efficient and Beautiful | Hacker News