-Objective Caml hat eines der fortgeschrittensten Typsysteme, die es derzeit gibt. Programme werden bei der Übersetzung typgeprüft. Dabei kommt das Hindley-Milner-Verfahren zum Einsatz, das bei der Typprüfung als Assistent fungiert und dem Programmierer lästige Schreibarbeit erspart (Deklarationen können meist weggelassen werden)
-Objective Caml ist sicher, d.h. es lässt keine Ausdrücke zu, die zum unkontrollierten Absturz von Programmen führen
-Programme können in einem gemischten funktionalen, imperativen und objektorientierten Stil verfasst werden (Multiparadigmensprache).
-Objective Caml unterstützt in besonderer Weise die symbolische Programmierung (durch algebraische Datentypen), damit ist die Sprache ideal zur Verarbeitung strukturierter Texte geeignet.
-Der Entwurf von großen Programmen wird durch die Trennung von Schnittstellen und Implementierungen von Modulen erleichtert.
-Die Speicherverwaltung ist vollautomatisch.
-Der Compiler erzeugt hocheffizienten Assemblercode. Die Ausführungsgeschwindigkeit ist mit C++ vergleichbar, manchmal etwas besser, manchmal etwas schlechter.
-Es gibt eine aktive Community, die zahlreiche Libraries beigesteuert hat (siehe z.B. das Projekt GODI).