Avis des lecteurs
Résumé:Le livre « Types and Programming Languages » de Benjamin Pierce est largement considéré comme une excellente introduction à la théorie des langages de programmation, en particulier aux systèmes de types. Il offre une approche claire et structurée, ce qui le rend accessible aux lecteurs ayant différents niveaux de connaissances préalables. Bien que le contenu soit loué pour sa profondeur et son exhaustivité, certains utilisateurs ont trouvé la version Kindle problématique, citant des problèmes de formatage et de lisibilité.
Avantages:Le style d'écriture clair et conversationnel rend les sujets complexes plus accessibles.
Inconvénients:Couverture complète et bien organisée des langages de programmation et des systèmes de types.
(basé sur 31 avis de lecteurs)
Titre original :
Types and Programming Languages
Contenu du livre :
Une introduction complète aux systèmes de types et aux langages de programmation.
Un système de types est une méthode syntaxique permettant de vérifier automatiquement l'absence de certains comportements erronés en classant les phrases du programme en fonction des types de valeurs qu'elles calculent. L'étude des systèmes de types - et des langages de programmation du point de vue de la théorie des types - a des applications importantes dans le génie logiciel, la conception de langages, les compilateurs à haute performance et la sécurité.
Ce texte fournit une introduction complète à la fois aux systèmes de types en informatique et à la théorie de base des langages de programmation. L'approche est pragmatique et opérationnelle ; chaque nouveau concept est motivé par des exemples de programmation et les sections plus théoriques sont guidées par les besoins des implémentations. Chaque chapitre est accompagné de nombreux exercices et solutions, ainsi que d'une implémentation en cours, disponible sur le Web. Les dépendances entre les chapitres sont explicitement identifiées, permettant aux lecteurs de choisir une variété de chemins à travers le matériel.
Les sujets principaux comprennent le lambda-calcul non typé, les systèmes de types simples, la reconstruction de types, le polymorphisme universel et existentiel, le sous-typage, la quantification bornée, les types récursifs, les types et les opérateurs de types. Des études de cas étendues développent une variété d'approches pour modéliser les caractéristiques des langages orientés objet.
Autres informations sur le livre :
| ISBN : | 9780262162098 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2002 |
| Nombre de pages : | 648 |
Achat:
Actuellement disponible, en stock.
