함수형프로그래밍
- 최초 등록일
- 2004.05.29
- 최종 저작일
- 2004.05
- 10페이지/ 한컴오피스
- 가격 1,000원
목차
1. 함수형 프로그래밍이란
2. 함수형 프로그래밍 언어의 특징
3. 함수형 프로그래밍 언어의 종류
1) Lisp
2) Haskell
본문내용
함수형 언어는 수학적인 배경을 가지고 있는 언어로 많은 가정을 바탕으로 만들어진 것이 특징이다. 가정이란 무한대의 기억 공간을 유지하고, 프로그래밍시에 배정문(assignment statement)을 전혀 사용하지 않는 것을 의미한다. 이런 유형의 언어에는 Lisp, FP, Hope Mirranda, Haskell등이 있다.함수형 언어의 하나인 LISP은 수학적인 기반 위에서 만들어진 최초의 언어이다. 수학적 기반이란 람다 켈큘러스(lammbda-calculus)를 말하는 것으로, 람다 켈큐러스는 아주 간단한 람다식(lambda expression)을 정의하고, 이식에 대한 3가지 연산을 정의하고 있다. 각각 알파, 베타, 감마의 3가지이다. 어쨌든 Lisp이 괄호가 많은 이유는 람다식이 괄호를 통해서만 올바른 식의 의미를 가질 수 있기 때문이다. 즉, 간단한 값(1,2,3,....., A,B,C,D 등)과 변수(cons, null 등)는 내부의 값을 직접 표현한다. (AB)는 식 A가 함수라고 단정하고, 그 함수에 매개변수 B를 넘겨줌으로써 얻는 결과 값을 나타내는 식이다. 이외의 식은 모두 올바른 람다식이 아니다. 람다 켈큘러스를 기반으로 한 함수형 언어들은 모두 참조투명성(referential transparency)을 갖는다.
참고 자료
없음