Theorie der Programmiersprache studieren

15

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.λ

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?

Daniel Gratzer
quelle

Antworten:

9

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

  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.
Andrej Bauer
quelle
Ich ging mit Domains and Lambda-Calculiso gut wie Design Concepts in Programming Languages(dick, aber es lohnt sich so weit)
Daniel Gratzer