Bücher für Anfang Typ Systemtheorie [geschlossen]

Question

Ich mag Typen Systemtheorie studieren. Ich habe keinen Hintergrund in Theorie Typ-Systems, damit ich mehr oder weniger bin ein Anfänger (mit Ausnahme der Artikel, die ich zu diesem Thema gelesen habe und die ich wegen der Schreibweise verwendet finde einschüchternd). Was sind einige gute Bücher, die mich beginnen könnte? Ich war auf der Suche bei Benjamin C. Pierce „Typen und Programmiersprachen“ Buch. Ist das angemessen für einen Anfänger oder ist es zu schwierig? Wenn es zu schwierig, was sonst könnte ich meine Studie starten kann?

Danke,

-

Cheers, Alex

Answer 1

Ich denke, Typen und Programmiersprachen wäre eine gute Wahl sein.

Als ich die erste TaPL gelesen habe, war ich ein Anfänger in Art Theorie als auch, und ich fand es nicht zu schwer zu verstehen.

Sie werden eine Menge der in den Artikeln verwendet Notation sehen Sie gesehen haben, aber die Notation erläutert werden, bevor es verwendet wird, so sollte es kein Problem sein. Es gibt nicht wirklich etwas über die Notation einschüchternd, wenn Sie wissen, was es bedeutet ¹ .

¹ Welcher ist ziemlich oft der Fall ist mit diesen Dingen. Manchmal denke ich, dass die meisten der Mathematik und der formalen Informatik besteht erfinden unheimlich aussehende Notationen für einfache Dinge, so dass die ungebildeten Massen nicht erkennen, wie einfach es wirklich ist.

Answer 2

TAPL ist ein hartes Buch zu verstehen und richtet sich an Absolventen richtet (und möglicherweise phd Kandidaten). Es ist sicherlich nicht für Anfänger. Ich würde stattdessen ein Buch wie empfehlen ‚Konzepte in Programmiersprachen‘ von John C. Mitchell an Studenten richtet, um sich selbst mit den Grundlagen vertraut zuerst.