Exactement, c'est bien le problème de la plupart des langage actuels: héritage "implique" sous-typage, d'où aucune sémantique ou une sémantique contre-intuitive. Si je ne dis pas de bêtise, cela marche en OCaml car sous-typage et héritage sont découplés: le sous-typage est structurel et pas nominatif, l'héritage permet simplement de réutiliser du code.
Merci pour le commentaire et le lien :p
[^] # Re: De la complexité de la gestion de la mémoire et d'autres
Posté par pamaury . En réponse à la dépêche Présentation de Rust 0.8. Évalué à 2.
Exactement, c'est bien le problème de la plupart des langage actuels: héritage "implique" sous-typage, d'où aucune sémantique ou une sémantique contre-intuitive. Si je ne dis pas de bêtise, cela marche en OCaml car sous-typage et héritage sont découplés: le sous-typage est structurel et pas nominatif, l'héritage permet simplement de réutiliser du code.
Merci pour le commentaire et le lien :p