La couche objet de OCaml a une sémantique correcte, c'était d'ailleurs l'objectif de la thèse de Jérôme Vouillon.
Un des points intéressant, de ce que j'en ai compris est qu'il ne faut pas confondre classe héritante et sous type, sans quoi on va droit dans le mur. On peut avoir sous classe et sous type en même temps si et seulement si l'ensemble des types de la sous classe sont des sous types de la classe mère.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: De la complexité de la gestion de la mémoire et d'autres
Posté par Ontologia (site web personnel) . En réponse à la dépêche Présentation de Rust 0.8. Évalué à 4.
La couche objet de OCaml a une sémantique correcte, c'était d'ailleurs l'objectif de la thèse de Jérôme Vouillon.
Un des points intéressant, de ce que j'en ai compris est qu'il ne faut pas confondre classe héritante et sous type, sans quoi on va droit dans le mur. On peut avoir sous classe et sous type en même temps si et seulement si l'ensemble des types de la sous classe sont des sous types de la classe mère.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker