Le langage Objective Caml allie programmation fonctionnelle, impérative, et orientée objet. Des fonctionnalités comme le typage statique, l'inférence de type, ou le mécanisme de traitement des exceptions, combinées à une gestion automatique de la mémoire et des bibliothèques de fonctions réseau performantes le rangent définitivement dans la catégorie des langages ultra-puissants.