홍재민씨가 '타입으로 견고하게 다형성으로 유연하게' 제목으로 책을 쓰셨네요. 프로그래밍 언어 이론을 잘 아는 분의 책이라니 기대가 됩니다.

https://blog.insightbook.co.kr/2023/10/…