『프로그래밍 언어 속 타입』 책 소개
(blog.hjaem.info)인사이트 출판사에서 프로그래밍 경험이 어느 정도 있는 사람들을 중심으로 타입 이론을 개념적으로 다루는 책을 기획하고 있는데, 그 초고가 공개되었다고 합니다(초고라는 건 편집자 분께 여쭤 봐서 알게 되었습니다).
한국어로 프로그래밍 언어 이론 관련된 책이 나오는 것도 흔치 않은 일이고, 책 전체 내용이 초고긴 해도 통째로 공개되는 일 자체가 흔치 않은 것 같아서 소개드리게 되었습니다. 한국어는 아니긴 하지만 같은 저자가 공저한 Introduction to Programming Languages라는 교과서도 있습니다.
일반적이지는 않는데, 최근 증명용 언어들에 도입되는 타입들도 재밌더라구요.
Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480
Cubical agda
https://dl.acm.org/doi/10.1145/3341691
실제 현장에서 일하는 분들에게 바로 써먹는데 도움이 될만한 책이라기 보다는
확실히 좀 더 이론과 원리에 포커스가 있어 보입니다.
이런 책도 틈틈히 봐줘야 되는데.. ㅜ.ㅜ