OCaml
OCaml er et sprog i ML-familien. Det har rod i ML-varianten CAML, men er blevet udvidet med et objektsystem samt modulsystemet fra Standard ML.
OCaml oversætteren er open source og bliver vedligeholdt af INRIA, det franske forskningscenter for informatik og automatik.
Selv om OCaml har rødder i det akademiske miljø, er det blevet udbredt i erhvervslivet.
En variant af OCaml for .NET kaldet F# er implementeret af Microsoft.
