Libros para principiantes teoría de sistemas tipo

Question

Quiero estudiar la teoría de sistemas tipo. No tengo ninguna experiencia en la teoría de sistemas tipo, así que soy más o menos un principiante (excepto los artículos que he leído sobre el tema y que encuentro intimidante debido a la notación utilizada). ¿Cuáles son algunos buenos libros que podrían ayudarme a comenzar? Estaba viendo el libro "Tipos y lenguajes de programación" de Benjamin C. Pierce. ¿Es apropiado para un principiante o es demasiado difícil? Si es demasiado difícil, ¿qué más podría usar para comenzar mi estudio?

Gracias,

-

Saludos, Alex

Answer 1

creo Tipos y lenguajes de programación sería una buena opción.

La primera vez que he leído TaPL, yo era un principiante en la teoría de tipos, así, y no lo encontré demasiado difícil de entender.

verá una gran cantidad de la notación utilizada en los artículos que he visto, pero se explicará la notación antes de que sea utilizada, por lo que no debería ser un problema. No hay nada realmente intimidante sobre la notación una vez que sabes lo que significa .

Cuál es a menudo el caso con estas cosas. A veces pienso que la mayoría de las matemáticas y la informática formal consiste en inventar anotaciones de aspecto aterrador para cosas simples, por lo que las masas sin educación no se dan cuenta de lo fácil que realmente es todo.

Answer 2

TAPL es un libro difícil de entender y está dirigido a graduados (y posiblemente candidatos de doctorado). Ciertamente no es para principiantes. En su lugar, recomendaría un libro como 'Concepts in Programming Languages' de John C. Mitchell dirigido a estudiantes de pregrado para familiarizarse primero con los conceptos básicos.