[프로그래밍 언어] 함수형 프로그래밍

소개글

모두 올 A+받으세요^^*

목차

Ⅰ. 함수형 프로그래밍의 개요.

Ⅱ. 명령형 언어와 함수형 언어.
■ 명령형 언어.
1. 명령형 언어의 특징.
2. 명령형 프로그램.
3. 명령형 언어의 문제점.

■ 함수형 언어.
1. 함수형 언어.
2. 함수.
3. 프로그래밍 언어의 함수와 수학 함수의 차이점.
4. 간단한 순수 함수 언어.

■ 명령형 언어와 함수형 언어의 비교.

Ⅲ. 함수형 프로그래밍 언어란?.

Ⅳ. 함수형 프로그래밍의 특징.

Ⅴ. 함수형 프로그래밍 언어의 종류.
1. Lisp.
2. Haskell.

※ 참고문헌.

본문내용

함수형 프로그래밍의 이론적 가치는 1970년대에 A.Church가 고안한 lambda calculus 이며, 1970년대에는 Danaswtt와 Christopher Strachey의 표기적 의미론에 의하여 모든 프로그램은 함수로 표현될 수 있다고 한다.
함수 언어 중에서 대표적인 것은 Lisp이며, 이밖에 APL과 여러 가지 Lisp의 변종을 들 수 있다. 그러나 대부분의 함수 언어들은 명령형 언어의 효율성을 영향 받아 명령적(비적용적)특성들을 일부 포함하게 되었다. 이에 대하여 본래의 john McCarthy의 Lisp나 Hope처럼 순수 함수로만 구성된 것을 순수 함수형(purely function) 언어라고 한다.
함수형 프로그래밍이란 프로그래밍의 주된 구조가 함수 호출에 기반을 둔 프로그래밍 접근 방법을 의미한다. 이 방법은 일반적인 문제 해결에 실질적으로 접근하는 데 도움을 주며 계산적인 측면에 통찰력을 갖도록 한다. 최근 10여 년 동안에 학계와 산업 연구 분야에서 함수형 프로그래밍에 관한 흥미로운 연구와 관심이 증가되어 왔다.
함수형 프로그래밍의 특징은 한 마디로 참조 투명성이 있기 때문에 프로그램의 해도그 수정, 검증이 용이하다. 그리고 프로그램이 함수로 이루어지므로 의미적으로 우아하고 구문이 간결하며 표현력이 강하여 프로그램 생산을 높일 수 있다는 것이다.

참고 자료

* 김주환. "안녕하세요 C언어 입문". 『정보문화사』. 1998.
* 왕창종 외 2. "C 프로그래밍 이론과 실제". 『홍릉 과학 출판사』. 1998.
* 김명호. "A BOOK ON C". 『홍릉 과학 출판사』. 2002
* 성현경. "IBM PC/XT/AT 프로그래머를 위한 C언어 프로그래밍". 『집문당』. 1992.
* 원유헌교수(홍익대학교). “프로그래밍 언어론”. 『정익사』.

☞ 인터넷 사이트
http://mecha.dongguk.ac.kr/laser/lecture/numerical1/C_chap3.html