Livres pour la théorie des systèmes de type début

Question

Je veux étudier la théorie des systèmes de types. Je n'ai pas d'antécédents en théorie des systèmes de type, donc je suis plus ou moins un débutant (sauf les articles que j'ai lus sur le sujet et que je trouve intimidants à cause de la notation utilisée). Quels sont les bons livres qui pourraient me lancer? Je regardais le livre "Types and Programming Languages" de Benjamin C. Pierce. Est-ce approprié pour un débutant ou est-ce trop difficile? Si c'est trop difficile, que pourrais-je utiliser d'autre pour commencer mon étude?

Merci,

-

Cheers, Alex

Answer 1

Je pense que les types et les langages de programmation serait un bon choix. Quand j'ai lu TaPL pour la première fois, j'étais aussi un débutant en théorie des types, et je ne l'ai pas trouvé trop difficile à comprendre.

Vous verrez beaucoup de la notation utilisée dans les articles que vous avez vus, mais la notation sera expliquée avant qu'elle ne soit utilisée, donc cela ne devrait pas poser de problème. Il n'y a pas vraiment quelque chose d'intimidant à propos de la notation une fois que vous savez ce que cela signifie .

Ce qui est assez souvent le cas avec ces choses. Parfois, je pense que la plupart des mathématiques et de l'informatique formelle consistent à inventer des notations effrayantes pour des choses simples, de sorte que les masses non éduquées ne réalisent pas à quel point tout cela est vraiment facile.

Answer 2

TAPL est un livre difficile à comprendre et s'adresse aux diplômés (et éventuellement aux candidats au doctorat). Ce n'est certainement pas pour les débutants. Je recommanderais plutôt un livre comme 'Concepts in Programming Languages' de John C. Mitchell destiné aux étudiants de premier cycle pour vous familiariser avec les bases en premier.