The Art of Functional Programming: with examples in OCaml, Haskell, and Java