Avis des lecteurs
Résumé:Le livre « The Theory of Object-Oriented Typing » d'Abadi et Cardelli fournit une analyse formelle des langages orientés objet à l'aide d'outils mathématiques avancés. Il introduit une notation unique pour discuter des instances d'objets et de leurs relations, applicable principalement dans les discussions théoriques. Bien qu'il offre des aperçus précieux sur les fondements de l'OO et les systèmes de types, l'accent mis sur les concepts avancés le rend moins adapté aux programmeurs débutants.
Avantages:⬤ Analyse approfondie du typage orienté objet
⬤ introduit une notation unique
⬤ utile pour comprendre la covariance et la contravariance
⬤ pertinent pour les chercheurs et les praticiens avancés
⬤ contribue aux discussions théoriques sur les fondements des langages de programmation.
⬤ Contenu très abstrait et théorique
⬤ ne convient pas aux programmeurs OO débutants
⬤ se concentre sur des sujets avancés qui peuvent ne pas s'appliquer directement aux langages OO commerciaux tels que Java ou C++
⬤ certains lecteurs peuvent trouver qu'il n'est pas pertinent pour leur travail actuel avec des systèmes statiques.
(basé sur 2 avis de lecteurs)
Titre original :
A Theory of Objects
Contenu du livre :
En développant des calculs d'objets dans lesquels les objets sont traités comme des primitives, les auteurs sont en mesure d'expliquer à la fois la sémantique des objets et leurs règles de typage, et démontrent également comment développer tous les concepts les plus importants des langages de programmation orientés objet : self, dynamic dispatch, classes, héritage, méthodes protégées et privées, prototypage, sous-typage, covariance et contravariance, et spécialisation des méthodes.
Une approche innovante et importante du sujet pour les chercheurs et les diplômés.
Autres informations sur le livre :
| ISBN : | 9780387947754 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
