OCaml ({{IPAc-en|oʊ|ˈ|k|æ|m|əl}} {{respell|oh|KAM|əl}}), oprindeligt kendt som Objective Caml, er et programmeringssprog udgivet i [[1996]] af Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez og andre. OCaml er en udvidelse af Caml, der udelukkende gør brug af det [[Funktionel programmering|funktionelle paradigme]]. OCaml anvender både det [[Funktionel programmering|funktionelle]] og det [[Objektorienteret programmering|objektorienterede paradigme]].
OCaml vedligeholdes af INRIA (French Institute for Research in Computer Science and Automation) og har været inspiration for [[F Sharp|F#]] og [[Scala (programmeringssprog)|Scala]].
