지난달 중순에 아마존에서 직접 주문한 보물들이 어제 도착했습니다.

Foundations of Object-Oriented Languages: Types and Semantics by Kim  B. Bruce

객체지향 언어 책입니다. 객체지향분석론이나 객체지향방법론이 아니라 객체지향 프로그래밍 언어의 이론적인 배경을 파헤치는 책으로 보시면 됩니다. 타입 이론, 람다 칼큘러스(lambda calculus)가 등장하고 SOOL(Simple Object-Oriented Language)이라는 간단한 객체지향 언어를 가정하고 이를 정형적으로 기술하면서 객체지향 언어의 핵심을 설명하고 있습니다.

Advanced Topics in Types and Programming Languages by Bejamin C. Pierece

PL 교과서로 유명한 Bejamin C. Pierce의 책입니다. 학교 복학하고 PL 수업 청강할 때 Types and Programming Languages by Benjamin C. Pierce를 교재로 썼는데 Advanced도 읽어보려고 마음만 먹고 있다가 이제야 구입했습니다. 이 책은 조금 더 깊이 있는 타입 이론을 다루는데, 특히 Dependent Types, Effect Types, Proof-Carrying Code 등의 주제에 관심을 가지고 볼 생각입니다. 후반부에 나오는 Reasoning 쪽은 아직 잘 모르겠고요.