프로그래밍 언어 속 타입
-
1.1 타입 검사프로그래밍 언어 속 타입 2022. 5. 10. 01:04
이 글은 인사이트 출판사의 제안으로 작성 중인 책 『프로그래밍 언어 속 타입』 원고의 일부입니다. 타입 검사type checking는 도대체 무엇이며 왜 필요할까? 타입 검사를 하는 게 좋은가? 불편하지 않나? 왜 사람들이 사용하지? 타입 검사를 공부하기에 앞서 자연스럽게 생길 질문이다. 반드시 물어야 할 중요한 질문이기도 하다. 사실 타입 검사는 불편한 게 맞다. 하지만 그 불편을 감수하면서도 사용할 만큼 큰 가치를 가진다. 지금부터 타입 검사가 무엇이며 왜 필요한지 알아보자. 그러려면 우선 버그bug에 관한 이야기부터 해야 한다. 버그란 프로그램이 개발자의 의도와 다르게 동작하는 모든 경우를 말한다. 프로그램이 의도대로 동작해야 사용자를 만족시킬 수 있으니 프로그램에 버그가 있으면 고쳐야 한다. 하지..
-
시작하며프로그래밍 언어 속 타입 2022. 5. 3. 14:52
이 글은 인사이트 출판사의 제안으로 작성 중인 책 『프로그래밍 언어 속 타입』 원고의 일부입니다. 요즘 가장 인기 있는 프로그래밍 언어 둘을 꼽으라면 단연 파이썬Python과 자바스크립트JavaScript다. 체감상으로도 그렇고 스택 오버플로와 깃허브의 통계를 봐도 그렇다. 두 언어는 현역 개발자들이 많이 사용할 뿐 아니라, 여러 교육 기관의 프로그래밍 입문용 언어로도 가장 많이 선택된다. 아마 이 책의 독자들도 대부분 프로그래밍을 처음 배울 때 파이썬이나 자바스크립트로 시작했을 것이다. 무슨 언어로 프로그래밍을 시작했든 그 언어만 계속 사용하는 경우는 드물다. 대개 다른 언어를 사용할 일이 생긴다. 시스템 프로그래밍 분야에는 여전히 전통의 강자인 C와 C++가 사용되며, 최근에는 러스트Rust도 가세했..
-
『프로그래밍 언어 속 타입』(가제) 책 소개프로그래밍 언어 속 타입 2022. 5. 3. 14:47
안녕하세요. KAIST 전산학부 프로그래밍 언어 연구실의 홍재민입니다. 현재 류석영 교수님의 지도 아래 박사 과정을 진행 중입니다. KAIST 학부 『프로그래밍 언어』 과목의 조교로 활동 중이며, 해당 과목의 교과서인 『Introduction to Programming Languages』를 집필했습니다. 인사이트 출판사의 제안으로 프로그래밍 언어에 관한 책을 쓰게 되었습니다. 책의 제목은 『프로그래밍 언어 속 타입』(가제)으로, 타입 검사의 필요성을 소개하고 타입 검사를 잘 사용할 수 있도록 도와주는 여러 기능을 설명하는 책입니다. 학생과 현직 개발자 모두를 대상으로 작성한 책이며, 어느 정도의 프로그래밍 경험(클래스를 정의하고 객체를 사용하는 정도)이 있다면 누구나 읽을 수 있습니다. 타입 검사를 잘 ..