함수형 프로그래밍 고전 명저 '실무자를 위한 ML', 무료 전문 공개

요약 케임브리지 대학교 출판부에서 1996년에 출간되었던 고전 프로그래밍 서적 '실무 프로그래머를 위한 ML(ML for the Working Programmer)' 2판의 전문이 온라인에 PDF로 무료 공개되었습니다. 저자인 로런스 C. 폴슨(Lawrence C. Paulson)에 따르면, 최근 독자들의 지속적인 요청이 있었고 이에 대해 케임브리지 대학교 출판부와의 합의를 거쳐 책 전체 내용을 PDF로 공개하기로 결정했다고 합니다. 다만 저작권은 그대로 유지되며, 재배포는 불가능하고 개인적인 학습 목적으로만 다운로드할 수 있습니다. 총 450페이지 분량인 이번 공개본은 과거 원고를 새로운 LaTeX 시스템으로 다시 조판한 버전입니다. 저자는 지난 20여 년간 LaTeX 시스템의 변경으로 인해 기존 인쇄본과 비교했을 때 미세한 차이가 발생했을 수 있다며, 중대한 문제가 발견될 경우 제보해달라고 덧붙였습니다. 도서는 Standard ML 기초부터 함수와 타입, 리스트, 트리 데이터 구조, 모듈, 람다 대수 인터프리터 작성, 정밀 정리 증명기(tactical theorem prover) 구현 등 깊이 있는 컴퓨터 과학 및 함수형 프로그래밍 내용을 다루고 있습니다.