『프로그래밍 언어 속 타입』 책 소개

인사이트 출판사에서 프로그래밍 경험이 어느 정도 있는 사람들을 중심으로 타입 이론을 개념적으로 다루는 책을 기획하고 있는데, 그 초고가 공개되었다고 합니다(초고라는 건 편집자 분께 여쭤 봐서 알게 되었습니다).

한국어로 프로그래밍 언어 이론 관련된 책이 나오는 것도 흔치 않은 일이고, 책 전체 내용이 초고긴 해도 통째로 공개되는 일 자체가 흔치 않은 것 같아서 소개드리게 되었습니다. 한국어는 아니긴 하지만 같은 저자가 공저한 Introduction to Programming Languages라는 교과서도 있습니다.