{"product_id":"types-and-programming-languages-9780262162098b","title":"Types et langages de programmation","description":"\u003cb\u003eUne introduction complète aux systèmes de types et aux langages de programmation.\u003c\/b\u003e\u003cdiv\u003e\n\n\u003cspan style=\"font-weight: 700;\"\u003e\u003cbr\u003e\u003c\/span\u003e\u003cp\u003eUn 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 de programme en fonction des types de valeurs qu'elles calculent. L'étude des systèmes de types — et des langages de programmation d'un point de vue théorique des types — a d'importantes applications en génie logiciel, en conception de langages, en compilateurs haute performance et en sécurité.\u003c\/p\u003e\n\n\u003cp\u003eCe texte offre une introduction complète tant aux systèmes de types en informatique qu'à la théorie fondamentale 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 via 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.\u003c\/p\u003e\n\n\u003cp\u003eLes sujets principaux incluent 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 genres 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.\u003c\/p\u003e\n\n\n\u003c\/div\u003e","brand":"MIT Press","offers":[{"title":"Bargain","offer_id":42820651090000,"sku":"9780262162098B","price":42.49,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0592\/8173\/5760\/files\/9780262162098-l.jpg?v=1785880575","url":"https:\/\/bookoutlet.com\/fr\/products\/types-and-programming-languages-9780262162098b","provider":"Book Outlet","version":"1.0","type":"link"}