함수형 프로그램

소개글

함수형 프로그램에 대해서 입니다.

목차

1. 함수형 프로그래밍?

2. 명령형 프로그래밍
1) 명령형 프로그램 역사
2) 명령형 언어의 문제점

3. 함수형 프로그래밍
1) 함수
2) 수학적 함수와 차이점
3) 명령형 프로그램과 비교
4) 순수 함수 언어
5) 특징
6) 종류

본문내용

1. 함수형 프로그램?
현존하는 대다수의 프로그래밍 언어가 폰 노이만(von Neumann) 기계 구조에 기초하여 설계되었다. 우리가 지금까지 배운 모든 언어는 이 구조를 추상화한 것이다. 이러한 추상 개념으로 언어를 설계할 때, 우리는 언어 기능의 유용성과 실행의 효율성간에 균형을 맞추려고 노력한다. 효율은 현재 사용되는 대부분의 언어에 잘 반영되어 있다.
실행효율은 폰 노이만 컴퓨터에서의 성능으로 측정된다. 이에 따라 폰 노이만 컴퓨터 구조가 프로그래밍 언어 설계의 기본적인 고려 사항으로 간주되어 명령형 프로그래밍 언어가 발전되었다. 이와 대조적으로 수학적 함수에 기반을 둔 적용형 언어인 함수 프로그래밍 언어가 있다.
명령형 언어 프로그래밍 방식은 일련의 명령문을 나열하여 이들이 순차 실행 혹은 반복 실행되도록 만드는 것이나, 함수형 프로그래밍은 함수를 결합하여 좀 더 강력한 함수를 만드는 것이다.
함수형 프로그래밍의 이론적 가치는 1970년대에 A.Church가 고안한 lambda calculus 이며, 1970년대에는 Danaswtt와 Christopher Strachey의 표기적 의미론에 의하여 모든 프로그램은 함수로 표현될 수 있다고 한다.
함수 언어 중에서 대표적인 것은 Lisp이며, 이밖에 APL과 여러 가지 Lisp의 변종을 들 수 있다. 그러나 대부분의 함수 언어들은 명령형 언어의 효율성을 영향 받아 명령적(비적용적)특성들을 일부 포함하게 되었다. 이에 대하여 본래의 john McCarthy의 Lisp나 Hope처럼 순수 함수로만 구성된 것을 순수 함수형(purely function) 언어라고 한다.

참고 자료

❍프로그래밍 언어론(정익사) / 원유헌 저
❍C프로그래밍 이론과 실제(홍릉 과학) / 왕창종 저
❍Web site : http://functional.or.kr/