Programmiersprache Theorie studieren

Question

Ich habe mich in letzter Zeit sehr daran interessiert, Aspekte der (funktionalen) Programmiersprachen zu verstehen und zu beweisen.

Wenn ich jedoch tiefer einsteige, sind Dinge wie $ lambda $ calculus, Kategoriestheorie und Denotationssemantik ohne ordnungsgemäße Erklärung etwas schwer zu gruken.

Ich habe SICP gelesen (ein ziemlich aufschlussreiches Buch), aber ich möchte tiefer in die Theorie der funktionalen Programmierung eintauchen. Gibt es Bücher/Blogs/Websites/you-name-it, die die Theorie der funktionalen Programmiersprachen von Grund auf diskutieren würden?

Answer 1

Es ist nicht einfach, Bücher zu erhalten, die die Denotationssemantik von $ lambda $ -Calculus berücksichtigen. Eine Möglichkeit ist:

1. Roberto M. Amadio und Pierre-Louis Curien: Domänen und Lambda-Calculi

Typ-theoretische Konten sind leichter zu erreichen:

1. Bob Harper, Praktische Grundlagen von Programmiersprachen (da ist auch ein gedruckte Version).
2. Benjamin Pierce, Typen und Programmiersprachen.
3. Frank Pfennings Kurs auf Berechnung und Abzug, Ich denke, er hat auch ein Buch mit dem gleichen Titel veröffentlicht.

Answer 2

Eine neue Antwort auf eine alte Frage. Sie könnten interessiert sein Kategoriestheorie für Programmierer Von Bartosz Milewski. Allgemeiner können Sie sich ansehen Bartosz Milewskis Programmiercafé Blog.

Answer 3

Diese Bücher haben hohe Bewertungen und erstellen verschiedene wissenschaftliche Gemeinschaften:

Typtheorie und funktionelle Programmierung von Simon Thompson.

Struktur und Interpretation von Computerprogrammen