책을 쓰기 시작하면서 프로그래밍언어 분야의 용어가 얼마나 혼란스러울 수 있는지 다시금 돌아보는 계기가되었다. 섬세하지 못한 번역이나 학계 용어정리의 문제가 아니라 여러 기초 학문 분야가 관련되어 있어 용어/개념이 학문 분야의 경계를 넘나들며 맥락에 따라 의미의 차이가 발생할 수밖에 없는 측면이 있다. 첫 부분을 용어와 기본 개념에 대해 다루며 시작하는 것이 그런 이유에서다. 그리고 프로그래밍언어의 문법을 기술하고 분석하는 데 있어 형식언어에 대한 최소한의 이해가 있어야 하므로 관련된 기본 개념도 앞부분에서 짧은 분량으로나마 간략히 최소한의 개념을 소개하는 정도로 다루고 있다.
컴퓨터 관련 전공과정이라 하더라도 응용분야가 다양해지고 세분화되는 시대인 만큼 형식언어/오토마타/계산이론을 주제로 한 전공과목이 없거나, 있다 하더라도 프로그래밍언어를 주제로 하는 강좌의 선수 과목이나 저학년의 필수과목으로 배치되지 않은 경우에도, 이 하나의 교재 안에서 최소한의 내용을 참고할 수 있도록 하기 위함이다.
이 책에서는 프로그래밍언어의 원리에 접근하는 이론적 시각을 강조하고자 하지만, 그렇다고 엄밀한 정의와 논리적 전개를 바탕으로 차근차근 체계적인 이론을 쌓아올리는,비유하자면 진국을 우려내는 슬로우 푸드를 만드는 방식으로는 접근하지 않으려 한다. 원리를 조명하는 이론적 시각에 대한 직관적 이해와 활용되는 맥락에 대한 이해를 바탕에 두고, 프로그래밍언어의 원리와 맞닿아 있는 예제를 직접 실행해 보며 훑어보는 방식으로 체득할 수 있는 패스트푸드를 제공하고 싶다.
- 제Ⅰ편 용어 및 기본 개념
제1장 Syntax와 Grammar
제2장 형식언어이론
제3장 프로그래밍언어의 문법구조(Syntax)
제4장 프로그래밍언어의 의미구조(Semantics)
제5장 유효범위(Scope)와 타입(Type)
제Ⅱ편 하스켈로 알아보는 의미구조와 타입 시스템
제6장 람다계산법과 하스켈
제7장 산술식을 히스켈로 다루기
제8장 매개변수 다형성(Parametric Polyorphism)
제9장 함수에 대한 값계산
제10장 함수, 산술식, 조건식을 포함하는 언어에 대한 값계산
제Ⅲ편 문법분석과 타입유추
제11장 문법분석
제12장 타입검사와 타입유추
제13장 타입유츄, 더 많이
제14장 타입유추, 더욱 더 많이