Comparaison avec d’autres langages fonctionnels
Langage CAML

Les langages de la famille ML n’ont pas fait l’objet jusqu’à présent d’une véritable standardisation, ce qui n’aurait d’ailleurs pas grand sens tant que leur usage est essentiellement cantonné au monde de la recherche et de l’enseignement. Les deux variantes CAML et SML sont donc à la fois très proches dans leur esprit et assez différentes dans les détails. Le développement de chacun des deux langages a été influencé par sa communauté d’utilisateurs et par les préoccupations des équipes de recherche qui les développent. Par exemple, l’extension vers la programmation par objets n’a été développée que dans CAML. Un effort de convergence, baptisé ML2000, est toutefois en cours.