OCaml (o-ké-mel) atau Objective Caml ialah sebuah bahasa pengaturcaraan yang merupakan pelaksanaan utama bagi bahasa pengaturcaraan Caml. OCaml mencakupi Caml dengan ciri-ciri sambungan pengaturcaraan berorientasi objek. OCaml adalah satu daripada kelompok bahasa ML.Antara ciri-ciri OCaml ialah penjenisan statik, inferens jenis, polimorfisme parameter, rekursi ekor, pemadanan corak, tutupan kelas pertama, fungtor, tanganan pengecualian, dan kutipan sampah automatik janaan tokokan.F# ialah bahasa Microsoft .NET yang diilhamkan berdasarkan OCaml.