Home

책 소개

하스켈은 함수형 프로그래밍을 배우고 학생들이 간결하고 깨끗한 코드 작성하며 프로그램을 구성하고 그 성질을 증명하는 방법을 익히기에 아주 좋은 언어다.

이 입문서는 처음 프로그래밍을 배우는 사람에게 가장 적합한 책이다. 프로그래밍 경험이 전혀 없는 사람도 이해할 수 있도록 모든 개념을 기초부터 차근차근 엄선된 예제를 곁들여 설명한다. 각 장에는 아주 간단한 문제부터 책에서 다루는 프로젝트를 확장하는 데 이르기까지 다양한 난이도의 연습문제를 제공할 뿐 아니라, 고급 주제에 대한 더 읽을거리도 추천하고 있다. 저자는 여러 해 동안 강의한 경험을 바탕으로 분명하고 간결하게 내용을 표현하고 있다.

이 책의 특징은 다음과 같다.

• 강사와 학생들을 위해 파워포인트 슬라이드를 책 홈페이지에서 제공한다.
• 강사들은 연습문제 모범답안과 시험문제를 (모범답안과 함께) 요청할 수 있다.
• 책에서 다루는 모든 코드는 최근 하스켈 구현에서 잘 동작하며 모두 책 홈페이지에서 내려받을 수 있다.
• 강의 능력이 검증된 저명한 하스켈 연구자이자 강사인 허튼 교수가 직접 집필하였다.
• 강의 교재로는 물론이고 혼자 공부하기에도 적당하다.

옥스포드 대학의 Richard Bird 교수는 이 책을 다음과 같이 극찬하고 있다. "이 책은 초심자를 위한 입문서로 하스켈로 함수형 프로그래밍에 대해 아주 잘 소개하는 책입니다. 일류 강사이자 연구자가 저술한 책 답게 책의 내용이 독자들의 시선을 확 잡아끌면서도 군더더가 없이 가벼운 구성으로 대학 1학년 신입생에게도 무리 없을 만큼 대학생들의 수준에 눈높이를 잘 맞추었습니다. 이 책을 전적으로 추천합니다."

지은이 소개

Graham Hutton

그라함 허튼 교수는 함수형 프로그래밍에 대한 선도적인 연구와 교육을 하는 네 곳의 연구중심대학에서 일하였다. 그는 15년 이상 함수형 프로그래밍을 연구하며 30여 편의 연구 논문을 냈으며 하스켈 워크샵(지금 하스켈 심포지움) 학회장과 함수형 프로그래밍 저널(Journal of Functional Programming)의 하스켈 특별 이슈에 대한 편집장을 역임하기도 하였다. 또한 10년 이상 하스켈로 강의하며 대학 교과과정에서 함수형 프로그래밍을 소개하는 데 노력하고 있다.

옮긴이 소개

안기영

2002년 KAIST 전산학과 학사 졸업후 (주)그래텍에서 팝폴더 및 파일뱅크(2005년 일본) 등을 비롯한 분산 네트웍 스토리지 시스템의 서버 프로그램 개발과 관리 업무를 맡았다. 미국 오레곤 주의 포틀랜드 주립대학으로 유학하여 하스켈 등의 함수형 언어 발전에 큰 공헌을 한 Tim Sheard 교수의 프로그래밍 언어 연구팀에서 프로그래밍 언어의 타입 시스템을 논리 증명 시스템을 하나로 묶는 연구를 주제로 2014년 박사과정 박사학위를 받았다. 박사과정 재학 중 2008년 한국인으로는 최초로 ACM SIGPLAN 하스켈 심포지움(예전 하스켈 워크샵)에서 논문을 발표했으며, 크레딧 스위스(Credit Suisse) 2008 QSI 여름 인턴으로, 2009년 여름에는 NASA Ames 연구소에서 인턴 연구원으로, 2014년 겨울에는 인텔(Intel)의 하드웨어 검증 부서에서, Haskell과 F#등의 함수형 프로그래밍 기술을 금융파생상품, 항공우주소프트웨어 분석, 하드웨어 연산 모델 검증에 적용하는 프로젝트에 참여하였다.

박정훈

대학 휴학 중 인천광역시 정보화 사업 및 대전광역시 전자 회의록 구축 사업에 참여 하였으며(2000-2001), 국회의원 웹사이트 구축 및 전산화 업무(2003), ATCIS 육군전술지휘정보체계 서버 및 데이터베이스 유지보수(2004-2006) 등을 비롯한 다양한 공공 프로젝트에 참여하였으며, 2008년 동아대학교에서 컴퓨터 공학과를 졸업하였다. 그 동안 경험을 바탕으로 Sun Microsystems Solaris Network Administrator, Microsoft SQL SERVER 공인 엔지니어로 미국에서 일하고 있으며, 주요 관심 분야는 함수형 프로그래밍 패러다임을 실제 업무에 적용하는 것이며 현재 VSTS 2010에 들어갈 차기 F#에 대해 연구 중이다.

우균 (감수)

우균 교수는 KAIST 전산학과 학사(1991), 석사(1993), 박사(2000)를 취득하고, 2000년부터 2004년까지 동아대학교 컴퓨터공학과 조교수로, 2004년부터는 부산대학교 정보컴퓨터공학부 부교수로 학생들을 가르치고 있다. 박사학위 연구 주제는 함수형 언어(functional languages)였으며, 현재는 프로그래밍 언어 및 컴파일러 구현, 소프트웨어 공학, 프로그램 분석 및 시각화, 로봇 프로그래밍 등을 연구하는 프로그래밍 언어 연구실을 이끌고 있다.