Appendix 2OCaml made light of
This appendix summarizes the main things a reader needs to know about the programming environment we use. I hope it will provide a useful quick overview, but this appendix is no substitute for a textbook on functional programming like Cousineau and Mauny (1998) or Paulson (1991).1 There are numerous other texts on OCaml and CAML Light available online, e.g. a fairly comprehensive OCaml book2 and some old lecture notes on CAML Light by the present author.3
OCaml supports several styles of programming, but its roots lie in functional programming, and almost all of our code is written in a purely functional style. In brief, the idea of functional programming is that a program is simply an ...