Quelques articles à propos de Caml

Cet article décrit la sémantique et le système de types de Core ML, et utilise une technique syntaxique simple pour prouver que les programmes bien typés ne provoquent pas d'erreur.

Ce chapitre de livre contient une description approfondie du système de types de Core ML, et met l'accent sur l'inférence de types. L'algorithme d'inférence de types est décrit comme la composition d'un générateur de contraintes, qui produit un système d'équations entre types, et d'un solveur de contraintes, qui est présenté comme un jeu de règles de réécriture.

Cet article explique pour il est sain de généraliser certaines variables de types lors d'une liaison let, même lorsque l'expression liée par let n'est pas une valeur. Cette version relaxée de la classique « restriction aux valeurs » de Wright a été introduite en Objective Caml 3.07.

Cet article présente une variante du système de modules de Standard ML qui introduit une distinction stricte entre types abstraits et manifestes. Ces derniers sont des types dont la définition apparaît explicitement dans l'interface du module. Cette proposition a pour but de préserver la plus grande partie du pouvoir expressif du système de modules de Standard ML, tout en permettant beaucoup plus aisément la compilation séparée. Ce travail constitue la fondation formelle du système de modules d'OCaml.

Ce travail étend l'article ci-dessus en introduisant des foncteurs dits applicatifs, c'est-à-dire des foncteurs qui produisent des types abstraits compatibles lorsqu'on les applique à des arguments prouvablement égaux. Les foncteurs applicatifs font partie des caractéristiques d'OCaml.

Cet article accessible décrit une implantation simplifiée du système de modules d'OCaml, et met l'accent sur le fait que le système de modules est largement indépendant du noyau de langage sous-jacent. Il constitue un bon tutoriel pour apprendre tout à la fois comment utiliser les modules et comment ceux-ci sont typés.

Cette note décrit les modules récursifs expérimentaux introduits dans Objective Caml 3.07.

Cet article fournit les fondations théoriques de la couche orientée objets d'OCaml, à savoir sa sémantique et son système de types.

Cet article propose un moyen de réintroduire des valeurs polymorphes de première classe en ML tout en préservant son mécanisme d'inférence de types. Cette technologie est à la base des méthodes polymorphes d'OCaml.

Cet article explique brièvement ce que sont les variantes polymorphes et comment elles sont compilées.

Ce court article explique comment construire un interprète modulaire et extensible à l'aide des variantes polymorphes.

Cet article explique une grande partie de la machinerie nécessaire au typage des variantes polymorphes. Son cœur est constitué d'une extension de la discipline de types de Core ML par des contraintes dites locales.

Cet article fournit de plus amples détails sur la machinerie techniques des variantes polymorphes, et se concentre sur les règles de typage des filtrages profonds.

Cet article propose la sémantique, le système de types, et le schéma de compilation des paramètres de fonctions étiquetés et optionnels d'OCaml.

Ce rapport contient une description du compilateur ZINC, dont l'évolution a ensuite donné naissance à Caml Light puis OCaml. Une grande partie de ce rapport est obsolète. Néanmoins, il garde un intérêt pour la description de la machine abstraite utilisée par Caml Light et (avec quelques simplifications et améliorations supplémentaires) par OCaml.

Cet article examine et compare plusieurs stratégies de représentation des données, y compris celle utilisée par le compilateur vers code natif d'OCaml.

Dépassé par l'article qui suit.

Cet article décrit une version parallèle du glaneur de cellules inclus dans l'environnement d'exécution de Caml Light et OCaml.

Tout ce que vous avez toujours voulu savoir sur le glaneur de cellules inclus dans l'environnement d'exécution de Caml Light et OCaml.