-
『타입으로 견고하게 다형성으로 유연하게: 탄탄한 개발을 위한 씨줄과 날줄』책 출간프로그래밍 언어 속 타입 2023. 10. 20. 13:20
안녕하세요. KAIST 전산학부 프로그래밍 언어 연구실의 홍재민입니다. 현재 류석영 교수님의 지도 아래 박사 과정을 진행 중입니다. 올해 봄까지 KAIST 학부 『프로그래밍 언어』 과목의 조교로 활동했으며, 해당 과목의 교과서인 『Introduction to Programming Languages』를 집필했습니다.
생각보다 조금 걸리긴 했지만, 드디어 책이 출간되었습니다. 책 제목은 『타입으로 견고하게 다형성으로 유연하게: 탄탄한 개발을 위한 씨줄과 날줄』입니다. 블로그에 올린 초고에 관심 가져 주신 모든 분들께 진심으로 감사드립니다. 이런 좋은 기회를 제공해 주신 도서출판 인사이트에도 감사드립니다. 책 초고는 2주 정도 유지했다가 그 후에는 비공개할 예정입니다.
아래는 인사이트에서 작성해 주신 책 소개글 입니다.
국내 주요 인터넷 서점에서 만나 보실 수 있습니다.
'프로그래밍 언어 속 타입' 카테고리의 다른 글
시작하며 (2) 2022.05.03 『프로그래밍 언어 속 타입』(가제) 책 소개 (14) 2022.05.03