표현 중심의 프로그래밍 언어

프로그래밍 패러다임
액션 에이전트 지향 배열 지향 오토마타 기반 동시 컴퓨팅 안무 프로그래밍 상대론적 프로그래밍 데이터 중심 선언적(대비:명령) 기능적 기능 논리학 순기능 논리학 유괴 논리학 응답 집합 동시 논리학 기능 논리학 귀납 논리학 제약 제약 논리 동시 제약 논리 데이터 흐름 흐름 기반 반응성 기능반응성 온톨로지 질의어 차별화 동적/스크립팅 이벤트 중심 기능 수준(대비: 가치 수준) 포인트프리 스타일 연결성 포괄적인 필수(대비:선언적) 절차적 객체 지향 다형체 의도적 언어지향적 도메인별 글을 읽고 쓸 줄 아는 자연어 프로그래밍 메타프로그래밍 자동 유도 프로그래밍 반사 속성 지향적 매크로 템플릿 비구조화(대비:구조화됨) 배열 비결정적인 병렬 컴퓨팅 프로세스 지향 확률론적 양자 세트-테오틱 스택 기반 구조화(대비: 비구조화) 블록 구조화 구조화된 동시성 객체 지향 배우 기반 클래스 기반 동시 프로토타입 기반 우려를 분리함으로써: 측면 지향적 역할 지향적 주제 지향적 재귀적 상징적 가치 수준(대비:함수 수준)
v t

표현 중심의 프로그래밍 언어는 모든(또는 거의 모든) 구성이 표현이기 때문에 가치를 산출하는 프로그래밍 언어다.대표적인 예외는 표현 중심의 언어가 종종 문장으로 취급하는 매크로 정의, 전처리기 명령, 선언 등이다.

ALGOL 68과 Lisp은 표현 위주의 언어다.파스칼은 표현 위주의 언어가 아니다.

모든 기능 프로그래밍 언어는 표현 지향적이다.^{[citation needed]}

비판과 예방

언어 디자이너를 포함한 비평가들은 프로그래머가 실수로 과제 표현식을 코드화하는 프로그래밍 오류의 전체 클래스에 대해 표현 지향성을 비난하며,^[1] 이는 변수를 그 표현과 평등을 위해 시험하기 보다는 표현으로 대체한다.

에이다와 자바의 설계자들은 부울 데이터 유형으로 엄격하게 평가하는 것으로 제어 식을 제한함으로써 이러한 유형의 실수를 방지한다.^[2][3]

파이썬의 설계자들은 배정을 표현이 아닌 문장으로 구현하여 배정이 다른 문이나 표현식 안에 안착되는 것을 금지하였다.(^[4]버전 3.8에서는 구문이 다른 'assignment 표현식'을 추가하기 전까지)^[5]

일부 표현 중심의 언어에서 부작용만 일으키는 표현은 보이드 유형을 반환한다.

예

이 구간은 확장이 필요하다.더하면 도와줄 수 있어. (2018년 2월)

• 알골 68
• 아이콘
• 리스프
• ML
• 펄
• 리볼
• 루비
• 하스켈
• 녹
• 스칼라
• 코틀린
• OCAML

참고 항목

• 명령-쿼리 분리
• 기능 프로그래밍

참조