식(式)은 프로그래밍 언어에서 값, 변수, 연산자, 함수의 모임이다. 식은 부수 효과가 있을 수도 있고 없을 수도 있다. 보통 부수 효과가 있는 식은 참조 투과성의 속성을 가지지 않는다.
