응용 프로그래밍 언어

Applicative programming language
"효과가 있는 응용 프로그램"이라는 논문에서 소개된 응용 펑커와 혼동하지 마십시오.[1]

프로그래밍 언어의 분류에서, 적용 가능한 프로그래밍 언어는 인수에 적용된 함수로 구축된다.적용 언어는 기능적이며, 적용 언어는 기능적 동의어로 사용되는 경우가 많다.[2]그러나, 통합 언어는 적용되지 않는 반면 기능적일 수 있다.[3]

적용 언어의 의미론은 용어의 베타 축소를 기본으로 하며, 상태 돌연변이와 같은 부작용은 허용되지 않는다.[4]

Lisp와 ML은 응용 프로그램 언어다.

참고 항목

참조

  1. ^ McBride, Conor; Paterson, Ross (2008-01-01). "Applicative programming with effects". Journal of Functional Programming. 18 (1): 1–13. CiteSeerX 10.1.1.114.1555. doi:10.1017/S0956796807006326. ISSN 1469-7653.
  2. ^ Dershowitz, Nachum; Plaisted, David A. (1985). "Logic Programming cum Applicative Programming". Symposium on Logic Programming. Boston, MA. pp. 54–66. CiteSeerX 10.1.1.404.3826.
  3. ^ Jon Purdy (12 February 2012). "Why Concatenative Programming Matters". Retrieved 28 April 2020.
  4. ^ Backus, J. (1978). "Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs". Communications of the ACM. 21 (8): 613–641. doi:10.1145/359576.359579.