Theorie der Programmiersprache studieren

In letzter Zeit habe ich großes Interesse daran, Aspekte von (funktionalen) Programmiersprachen zu verstehen und zu beweisen.

Wenn ich jedoch tiefer in die Materie eintauche, sind Dinge wie Berechnung, Kategorietheorie und Denotationssemantik ohne angemessene Erklärung etwas schwierig zu verstehen.$\lambda$

Ich habe SICP gelesen (ein ziemlich aufschlussreiches Buch), aber ich versuche, tiefer in die Theorie der funktionalen Programmierung einzutauchen. Gibt es Bücher / Blogs / Sites / you-name-it, die die Theorie der funktionalen Programmiersprachen von Grund auf diskutieren?

Es ist nicht leicht, Bücher zu bekommen, die die Denotationssemantik von Kalkulus berücksichtigen. Eine Möglichkeit ist:$\lambda$

1. Roberto M. Amadio und Pierre-Louis Curien: Domains und Lambda-Calculi

Typentheoretische Konten sind einfacher zu finden:

1. Bob Harper, Praktische Grundlagen der Programmiersprachen (es gibt auch eine gedruckte Version ).
2. Benjamin Pierce, Typen und Programmiersprachen .
3. Frank Pfennings Kurs über Berechnung und Abzug , ich glaube, er hat auch ein Buch mit dem gleichen Titel veröffentlicht.

Eine neue Antwort auf eine alte Frage . Das könnte Sie auch interessieren: Kategorietheorie für Programmierer von Bartosz Milewski. Im Allgemeinen können Sie sich Bartosz Milewskis Blog „Programming Cafe“ ansehen .

Diese Bücher haben eine hohe Bewertung und kommen in verschiedenen wissenschaftlichen Communities vor:

Typentheorie und funktionale Programmierung von Simon Thompson.

Struktur und Interpretation von Computerprogrammen