 OCaml é uma linguagem de programação funcional com extensões de programação orientada a objetos. Ela foi criada na década de 90 por Xavier Leroy, e é usada para muitas coisas diferentes, como criar sistemas operacionais, jogos e aplicativos da web. OCaml é uma linguagem bastante poderosa e é usada por muitas empresas e organizações em todo o mundo.  