검수요청.png검수요청.png

하스켈

위키원
hayeon1006 (토론 | 기여)님의 2019년 8월 20일 (화) 11:28 판
이동: 둘러보기, 검색
하스켈 로고

하스켈 또는 해스켈(Haskell)은 1985년에 개발된 순수 함수형 프로그래밍 언어이며, 논리학자 '해스켈 커리'(Haskell Brooks Curry)에서 따온 명칭이다.

개요

하스켈은 지연계산(Lazy), 함수형(Functional), 정적 타입 지정(Statically Typed)의 프로그래밍 언어이다. 하스켈의 로고는 람다 대수에서의 'λ'와 모나드에 사용하는 bind 연산자인 '>>='를 겹쳐놓은 이미지다. 1980년대 프로그래밍 언어 연구자들이 만든 위원회에서 정의한 언어이며, 순수 함수형 프로그래밍 언어로 입·출력 같이 필요한 경우가 아니면 부작용이 없는 순수 함수로만 만들어졌다. 가장 많이 쓰이는 하스켈 컴파일러로는 GHC가 있으며, 여기에 패키지 매니저를 추가한 플랫폼이 스택(Stack)이다.

등장배경과 역사

1985년에 개발된 미란다가 하스켈의 전신이라고 할 수 있다. 1987년 오리건주 포틀랜드에서 열린 '함수형 프로그래밍 언어와 컴퓨터 구조에 관한 총회'(Functional Programming Languages and Computer Architecture, FPCA '87)에서 있었던 회의에서 난립하고 있는 함수형 언어들을 통합 정리하여 훗날 언어 설계의 기반이 될 수 있는 일반적인 순수 함수형 프로그래밍 언어를 만들자는 데에 참가자들의 뜻이 모였고 위원회가 발족되었다. 하스켈의 첫 버전인 '하스켈 1.0'은 1990년에 완성되었다. 위원회의 노력은 1997년말까지 다양한 설계안으로 이어져 마침내 '하스켈 98'이라는 성과가 나왔다. 하스켈 98은 교육용이나 확장을 덧붙이는 토대로 사용할 수 있는 안정적이며, 작고 이식성 좋은 언어 표준을 의도한 결과물로서 표준 라이브러리가 포함되어 있었다. 또한 위원회는 하스켈 98의 확장 기능과 더불어서 하스켈 98에 실험적인 기능을 덧붙이거나 합친 변형이 만들어지는 것을 열렬히 환영하였다. 하스켈 98 언어 표준은 1999년 1월 '하스켈 98 보고서'(The Haskell 98 Report)라는 이름으로 정식 공개되었다. 2003년 1월에는 '하스켈 98 언어와 라이브러리: 개정 보고서'(Haskell 98 Language and Libraries: The Revised Report)라는 이름으로 개정판이 나왔다. 하스켈을 실제 컴퓨터에서 사용할 수 있도록 구현한 '글래스고 하스켈 컴파일러'와 '허그스'가 사실상의 표준 역할을 하면서 하스켈은 지금도 끊임없이 발전하고 있다. 2006년초, 하스켈98 표준의 뒤를 이을 표준에 관한 논의가 시작되었다. 새로운 표준은 비공식적으로 '하스켈 프라임'이라는 이름으로 불렸으며, 2009년 11월 새로운 표준의 첫 번째 판인 하스켈 2010이 발표되었다. 하스켈 2010은 다른 프로그래밍 언어와 호환 가능한 인터페이스인 외부 함수 인터페이스를 지원하며, 일부 문법이 변경되었고, n+k 패턴이라 불리는 문법 형식이 금지되었다.

특징

하스켈의 특징으로는 '패턴 맞춤', '커링', '가드', '조건제시법', '연산자' 정의 등을 들 수 있다. 재귀 함수나 대수적 자료형도 지원되며, 느긋한 계산법[1]

장단점

장점

단점

적용

구현

예제

각주

  1. 토이팹〈느긋한 계산법〉, 《티스토리》, 2009-03-12

참고자료

같이 보기

  검수요청.png검수요청.png 이 하스켈 문서는 프로그래밍에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.