[프로그래밍언어개념] 함수형 프로그래밍(논문형)

소개글

프로그래밍 언어개념 수업 과제 중 함수형 프로그래밍 전반에 대한 자료 정리 과제 입니다.

목차

1. 서 론
함수형 프로그래밍이란?

2. 본 론
1) 함수형 프로그래밍의 역사
2) 함수형 프로그래밍의 특징
3) 현대적 함수형 언어
(1) Sheme
(2) ML
(3) Haskell
4) 명령형 언어와 함수형 언어의 비교
5) 함수형 프로그래밍의 리스트를 위한 메모리 할당
3. 결 론

본문내용

1) 함수형 프로그래밍의 역사
알론조 처치가 1930년대에 개발한 람다 대수는 함수에 대한 이론적 기반을 세웠다. 이것은 프로그래밍 언어가 아니라 수학적 추상화였지만, 이것은 함수형 프로그래밍의 근간을 이루었다.
처음으로 만들어진 함수형 프로그래밍 언어는 IPL이었다. 존 매카티가 만든 리스프는 훨씬 향상된 함수형 프로그래밍 언어였고, 이것은 현대적 함수형 프로그래밍의 여러 특징을 가지고 있었다. 리스프를 발전시키고 간단하게 만든 언어로 스킴이라는 것도 나왔다.
1970년대에 로빈 밀너는 ML 프로그래밍 언어를 개발하였고, 데이비드 터너는 미란다 프로그래밍 언어를 개발하였다. ML에 여러 "방언"이 개발되었고, 현재 가장 많이 쓰이는 방언은 OCaml이다.
1980년대에는 그동안의 함수형 프로그래밍에 대한 연구를 바탕으로 하스켈 프로그래밍 언어가 만들어졌다.

2) 함수형 프로그래밍의 특징
함수형 프로그래밍은 명령형 프로그래밍에 비하여 몇 가지 뚜fut한 장점을 가져서 전통적으로 원형화(prototyping), 인공지능, 수학 증명 시스템, 논리 운용의 분야에서 많이 사용되었다. 장점으로는 프로그램을 함수로 보는 일관된 시각, 함수를 데이터로 취급, 부작용의 제한, 자동 메모리 관리의 사용 등이 잇다. 결과적으로 함수형 프로그래밍 언어는 고도의 유연성, 표기의 간결성, 간단한 의미론 등의 특징을 가진다.

참고 자료

Kenneth C. Louden 著, “프로그래밍 언어” 사이텍미디어 출판, 2005
원유헌 著, “프로그래밍 언어론” 정익사, 1997. 2. 25
Ravi Sethi 著, “프로그래밍 언어론” 대영사, 1992