CAML et la programmation classique
Langage CAML

En adoptant l’évaluation par valeur, CAML a fait un choix relativement conservateur pour rester compatible avec le style de programmation habituel, c’est-à-dire impératif. Cela permet au langage d’inclure des traits impératifs qui en font un langage algorithmique à part entière. CAML établit toutefois une barrière entre la programmation fonctionnelle et la programmation impérative, en ce sens que ce sont les types des objets qui déterminent si ceux-ci appartiennent au monde purement fonctionnel ou si, au contraire, ils sont susceptibles d’être soumis à des opérations destructives comme, par exemple, des affectations. On examinera ce point en prenant pour exemple le traitement des pointeurs et celui des objets. On indiquera ensuite comment CAML s’interface avec le monde extérieur.