Ich lerne gerade Haskell und Programmiersprachen. Könnte jemand ein paar Bücher über Typentheorie empfehlen?
28
Ich lerne gerade Haskell und Programmiersprachen. Könnte jemand ein paar Bücher über Typentheorie empfehlen?
Antworten:
Software Foundations von Benjamin C. Pierce wäre ein guter Anfang. Es wäre ein guter Vorläufer für seine Typen und Programmiersprachen . Es gibt auch Simon Thompsons Typentheorie und funktionale Programmierung sowie Girards Beweise und Typen .
quelle
Barendregts Lambda-Kalkül mit Typen ist weiter fortgeschritten, deckt jedoch einige wichtige Themen der "klassischen" Typentheorie ab.
quelle
Robert Harpers Buch Practical Foundations for Programming Languages (verfügbar als Entwurf online: http://www.cs.cmu.edu/~rwh/plbook/book.pdf ) ist eine etwas intensivere Alternative zu Types und Programming Languages.
quelle
Es geht mehr um mathematische Grundlagen und weniger um Informatik, aber das Buch Homotopy Type Theory: Univalente Grundlagen der Mathematik ist kostenlos im PDF-Format unter einer CC-Lizenz erhältlich.
quelle
Ein weiteres schönes Buch, das die Typentheorie mit dem Programmieren in einer funktionalen Sprache verbindet, ist Didier Remys Verwenden, Verstehen und Enträtseln der OCaml-Sprache .
quelle