Studiowanie teorii języka programowania

Ostatnio bardzo się zainteresowałem zrozumieniem i sprawdzeniem aspektów (funkcjonalnych) języków programowania.

Jednak gdy zagłębiam się głębiej, rzeczy takie jak rachunek , teoria kategorii i semantyka denotacyjna są nieco trudne do odczytania bez odpowiedniego wyjaśnienia.$\lambda$

Czytam SICP (całkiem pouczającą książkę), ale chcę zagłębić się w teorię programowania funkcjonalnego. Czy są jakieś książki / blogi / strony / you-name-it, które od samego początku omawiałyby teorię funkcjonalnych języków programowania?

Niełatwo jest znaleźć książki, które rozważają denotacyjną semantykę rachunku. Jedną z możliwości jest:$\lambda$

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

Konta teoretyczne są łatwiejsze do zdobycia:

1. Bob Harper, Praktyczne podstawy języków programowania (istnieje również wersja drukowana ).
2. Benjamin Pierce, typy i języki programowania .
3. Kurs Franka Pfenninga na temat obliczeń i dedukcji , myślę, że opublikował także książkę o tym samym tytule.

Nowa odpowiedź na stare pytanie . Być może zainteresuje Cię teoria kategorii dla programistów autorstwa Bartosza Milewskiego. Mówiąc bardziej ogólnie, możesz zajrzeć na blog Bartosz Milewski Programming Cafe .

Te książki mają wysokie oceny i pojawiają się w różnych społecznościach naukowych:

Typ Teoria i programowanie funkcjonalne Simona Thompsona.

Struktura i interpretacja programów komputerowych