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?
reference-request
lambda-calculus
functional-programming
books
Daniel Gratzer
quelle
quelle
Domains and Lambda-Calculi
so gut wieDesign Concepts in Programming Languages
(dick, aber es lohnt sich so weit)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 .
quelle
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
quelle