Học lý thuyết ngôn ngữ lập trình

Gần đây tôi đã trở nên cực kỳ quan tâm đến việc hiểu và chứng minh các khía cạnh của ngôn ngữ lập trình (chức năng).

Tuy nhiên, khi tôi đi sâu hơn vào, những thứ như phép tính, lý thuyết phạm trù và ngữ nghĩa học biểu thị là một chút khó khăn để tìm kiếm mà không có lời giải thích thích hợp.$\lambda$

Tôi đã đọc SICP (một cuốn sách khai sáng) nhưng tôi đang tìm hiểu sâu hơn về lý thuyết lập trình chức năng. Có bất kỳ cuốn sách / blog / trang web / tên bạn sẽ thảo luận về lý thuyết của các ngôn ngữ lập trình chức năng từ đầu?

Không dễ để đến với những cuốn sách xem xét ngữ nghĩa biểu thị của -calculus. Một khả năng là:$\lambda$

1. Roberto M. Amadio và Pierre-Louis Curien: Miền và Lambda-Tính

Các tài khoản lý thuyết loại dễ dàng nắm bắt hơn:

1. Bob Harper, Cơ sở thực tiễn của ngôn ngữ lập trình (cũng có một phiên bản in ).
2. Benjamin Pierce, các loại và ngôn ngữ lập trình .
3. Khóa học của Frank Pfenning về tính toán và khấu trừ , tôi nghĩ ông cũng đã xuất bản một cuốn sách có cùng tiêu đề.

Một câu trả lời mới cho một câu hỏi cũ . Bạn có thể quan tâm đến Lý thuyết Danh mục dành cho Lập trình viên của Bartosz Milewski. Tổng quát hơn, bạn có thể xem blog Lập trình Cafe của Bartosz Milewski .

Những cuốn sách này có xếp hạng cao và xuất hiện trên các cộng đồng khoa học khác nhau:

Loại lý thuyết và lập trình chức năng của Simon Thompson.

Cấu trúc và giải thích các chương trình máy tính