15P by kunggom 2020-06-29 | favorite | 댓글 2개

KAIST 전산학부의 홍재민이라는 분이 2019년에 ‘프로그래밍 언어’(CS320) 과목의 조교로서 작성하고 류석영 교수님의 감수를 받은 수업 보조 자료의 모음집입니다. (한국어, 영어) 컴퓨터 과학에서 말하는 프로그래밍 언어의 이론적 배경을 설명하기 위해, 해당 분야의 각 개념을 순차적으로 추가해가며 작은 프로그래밍 언어를 수학적으로 정의하고 그 인터프리터를 Scala로 구현하는 흐름으로 되어 있습니다.

Scala를 프로그래밍 언어 수업 자료로 쓴 건 흥미롭네요.
ocaml 같이 ML계열 함수형 언어로 수업자료로 쓴건 많이 봤지만 Scala는 첨보네요. 나름 Scala가 현업에서 JVM기반언어로 많이 쓰니 실용성이 더 있어보이네요.

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

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