전체 글
-
『타입으로 견고하게 다형성으로 유연하게: 탄탄한 개발을 위한 씨줄과 날줄』책 출간프로그래밍 언어 속 타입 2023. 10. 20. 13:20
안녕하세요. KAIST 전산학부 프로그래밍 언어 연구실의 홍재민입니다. 현재 류석영 교수님의 지도 아래 박사 과정을 진행 중입니다. 올해 봄까지 KAIST 학부 『프로그래밍 언어』 과목의 조교로 활동했으며, 해당 과목의 교과서인 『Introduction to Programming Languages』를 집필했습니다. 생각보다 조금 걸리긴 했지만, 드디어 책이 출간되었습니다. 책 제목은 『타입으로 견고하게 다형성으로 유연하게: 탄탄한 개발을 위한 씨줄과 날줄』입니다. 블로그에 올린 초고에 관심 가져 주신 모든 분들께 진심으로 감사드립니다. 이런 좋은 기회를 제공해 주신 도서출판 인사이트에도 감사드립니다. 책 초고는 2주 정도 유지했다가 그 후에는 비공개할 예정입니다. 아래는 인사이트에서 작성해 주신 책 소개..
-
시작하며프로그래밍 언어 속 타입 2022. 5. 3. 14:52
이 글은 인사이트 출판사의 제안으로 작성 중인 책 『프로그래밍 언어 속 타입』 원고의 일부입니다. 요즘 가장 인기 있는 프로그래밍 언어 둘을 꼽으라면 단연 파이썬Python과 자바스크립트JavaScript다. 체감상으로도 그렇고 스택 오버플로와 깃허브의 통계를 봐도 그렇다. 두 언어는 현역 개발자들이 많이 사용할 뿐 아니라, 여러 교육 기관의 프로그래밍 입문용 언어로도 가장 많이 선택된다. 아마 이 책의 독자들도 대부분 프로그래밍을 처음 배울 때 파이썬이나 자바스크립트로 시작했을 것이다. 무슨 언어로 프로그래밍을 시작했든 그 언어만 계속 사용하는 경우는 드물다. 대개 다른 언어를 사용할 일이 생긴다. 시스템 프로그래밍 분야에는 여전히 전통의 강자인 C와 C++가 사용되며, 최근에는 러스트Rust도 가세했..
-
『프로그래밍 언어 속 타입』(가제) 책 소개프로그래밍 언어 속 타입 2022. 5. 3. 14:47
안녕하세요. KAIST 전산학부 프로그래밍 언어 연구실의 홍재민입니다. 현재 류석영 교수님의 지도 아래 박사 과정을 진행 중입니다. KAIST 학부 『프로그래밍 언어』 과목의 조교로 활동 중이며, 해당 과목의 교과서인 『Introduction to Programming Languages』를 집필했습니다. 인사이트 출판사의 제안으로 프로그래밍 언어에 관한 책을 쓰게 되었습니다. 책의 제목은 『프로그래밍 언어 속 타입』(가제)으로, 타입 검사의 필요성을 소개하고 타입 검사를 잘 사용할 수 있도록 도와주는 여러 기능을 설명하는 책입니다. 학생과 현직 개발자 모두를 대상으로 작성한 책이며, 어느 정도의 프로그래밍 경험(클래스를 정의하고 객체를 사용하는 정도)이 있다면 누구나 읽을 수 있습니다. 타입 검사를 잘 ..