프로그래밍 언어 이론 공부

나는 최근에 (기능적) 프로그래밍 언어의 측면을 이해하고 증명하는데 매우 관심을 가지게되었다.

그러나 자세히 미적분학, 범주 이론 및 획기적 의미론과 같은 것은 적절한 설명 없이는 이해하기가 조금 어렵습니다.$\lambda$

SICP (깨끗한 책)를 읽었지만 함수형 프로그래밍 이론에 대해 자세히 알아 보려고합니다. 기능 프로그래밍 언어 이론을 처음부터 논의 할 책 / 블로그 / 사이트 / You-name-it가 있습니까?

미적분학의 의의 적 의미론을 고려한 책을 가지고 오는 것은 쉽지 않습니다 . 한 가지 가능성은 다음과 같습니다.$\lambda$

1. 로베르토 M. 아마 디오와 피에르 루이스 쿠리 엔 : 도메인과 람다-칼리

유형 이론적 계정은 다음과 같이 쉽게 잡을 수 있습니다.

1. Bob Harper, 실용적인 프로그래밍 언어 기초 ( 인쇄본 도 있음 ).
2. 벤자민 피어스, 유형 및 프로그래밍 언어 .
3. Frank Pfenning의 Computation and Deduction 과정 은 같은 제목의 책을 ​​출판했다고 생각합니다.

오래된 질문에 대한 새로운 답변 . Bartosz Milewski의 프로그래머 를 위한 카테고리 이론에 관심이있을 것 입니다. 보다 일반적으로 Bartosz Milewski의 Programming Cafe 블로그를 볼 수 있습니다 .

이 책들은 높은 평가를 받았으며 다른 과학계에 등장합니다 :

Simon Thompson의 유형 이론 및 기능 프로그래밍.

컴퓨터 프로그램의 구조와 해석