FP (프로그래밍 언어)
"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차
1. 개요
FP (프로그래밍 언어)는 값을 다른 값으로 매핑하는 함수로 프로그램을 구성하는 함수 수준 프로그래밍 언어이다. FP는 원시 함수와 함수형으로 구분되며, 함수형은 함수를 결합하여 새로운 함수를 만드는 연산자로서 FP의 핵심적인 구성 요소이다. FP84는 FP를 확장하여 무한 수열과 지연 평가를 포함하며, 프로그램의 기본 대수를 통해 의미를 구현한다.
더 읽어볼만한 페이지
- 1977년 개발된 프로그래밍 언어 - 아이콘 (프로그래밍 언어)
아이콘은 1970년대에 개발된 SNOBOL 언어 기반의 프로그래밍 언어로, 문자열 처리, 목표 지향 실행, 함수 기반 흐름 제어 등의 특징을 가지며 유니콘 언어로 발전했다.
| FP (프로그래밍 언어) - [IT 관련 정보]에 관한 문서 | |
|---|---|
| 개요 | |
| 이름 | FP |
| 종류 | 프로그래밍 언어 |
| 주요 정보 | |
| 패러다임 | 함수 레벨 프로그래밍 |
| 등장 시기 | 1977년 |
| 설계자 | 존 배커스 |
| 기술 세부 사항 | |
| 자료형 | 알 수 없음 |
| 구현 | 알 수 없음 |
| 방언 | FP84 |
| 영향 관계 | |
| 영향을 받은 언어 | APL |
| 영향을 준 언어 | FL 하스켈 J |
2. 역사
FP는 1977년 존 백커스가 튜링상 수상 강연인 "프로그래밍은 폰 노이만 스타일에서 해방될 수 있는가? 함수형 스타일과 그 대수"에서 처음 소개되었다. 백커스는 이 강연에서 기존 프로그래밍 언어의 한계를 지적하고, 변수 없는 프로그래밍(variable-free programming)이라는 새로운 함수형 프로그래밍 스타일을 제안했다.
백커스가 제안한 함수형 스타일은 함수를 값처럼 다루고, 함수들을 결합하여 더 큰 함수를 만드는 방식으로 프로그램을 구성하는 방식이다. 이러한 방식은 폰 노이만 구조의 병목 현상을 극복하고, 프로그램의 간결성과 재사용성을 높일 수 있다고 주장했다.
FP84는 FP를 확장한 것으로, 무한 수열, 프로그래머가 정의한 결합 형식(백커스 자신이 FP의 후속작인 FL에 추가한 것과 유사), 지연 평가 등을 포함한다.
2. 1. FP84
FP84는 무한 수열, 프로그래머가 정의한 결합 형식(백커스 자신이 FP의 후속작인 FL에 추가한 것과 유사), 그리고 지연 평가를 포함하도록 FP를 확장한 것이다. FP84는 백커스 자신이 FP를 변형한 또 다른 언어인 FFP와 달리, 객체와 함수를 명확하게 구분한다. 즉, 함수는 더 이상 객체의 수열로 표현되지 않는다. FP84의 확장은 수열 생성이 ⊥이 아닌 객체에만 적용되어야 한다는 FP의 제약을 제거함으로써 이루어졌으며, FP84에서는 표현식의 전체 집합(의미가 ⊥인 표현식을 포함)이 수열 생성 아래에서 닫혀 있다.FP84의 의미는 프로그램의 기본 대수, 즉 프로그램을 조작하고 추론하는 데 사용할 수 있는 일련의 함수 수준 프로그래밍 등식에 구현되어 있다.
3. 핵심 개념
= g:x if h:x = F
= ⊥ 그 외의 경우
/f:〈x1,x2,...,xn〉 = f:〈x1,/f:〈x2,...,xn〉〉
/f:〈 〉 = unit f
\f:〈x1,x2,...,xn〉 = f:〈\f:〈x1,...,xn-1〉,xn〉
\f:〈 〉 = unit f