J'ai parcourru le bouquin. Il est très bien fait, explique bien comment on passe du lambda calcul (avec thèse de Church, tout ça) aux langages actuels, avec les systèmes d'inférence de types, etc.
Cas intéressant : il aborde le système de types de Java en détails, et c'est assez intéressant (c'est bourré de lambda calcul).
Par contre, même si je trouve que le bouquin est très didactique (dans ce que j'en ai lu), j'avais quand même pas mal sué sur l'info théorique et les types avant d'approcher le bouquin, donc il n'est pas dit que pour quelqu'un voulant découvrir ce domaine ce soit si aisé. Si amazon le propose, lis les premières pages pour te faire une idée.
[^] # Re: Conseils sur un bouquin plus théorique
Posté par lasher . En réponse au journal Vos livres d'informatique préférés.... Évalué à 4.
Cas intéressant : il aborde le système de types de Java en détails, et c'est assez intéressant (c'est bourré de lambda calcul).
Par contre, même si je trouve que le bouquin est très didactique (dans ce que j'en ai lu), j'avais quand même pas mal sué sur l'info théorique et les types avant d'approcher le bouquin, donc il n'est pas dit que pour quelqu'un voulant découvrir ce domaine ce soit si aisé. Si amazon le propose, lis les premières pages pour te faire une idée.