[강의8] Statement vs. Expression

📌 한 줄 요약

Expression은 값을 산출하는 계산이고,

Statement는 행동을 수행하는 문장이다.

Statement는 종종 Expression을 내포한다.

항목	Expression (표현식)	Statement (문장)
목적	값(value)을 계산	행동(action)을 수행 (ex: 상태 변경)
결과	어떤 값을 산출	보통 값은 없고 부작용(side-effect) 발생
상태 변화	없음 또는 제한적 (일반적으로 없음)	있음 (변수 변경, 루프 실행 등)
독립 실행 가능성	일반적으로 독립 실행 불가	독립 실행 가능 (한 줄 단위 코드)
의미론적 해석	`⟦expr⟧ : Env → Value`	`⟦stmt⟧ : State → State` 또는 →⊥
예시	`1 + 2`, `x * y`, `f(3)`	`x := 1`, `if ... then ...`, `while ...`
포함 관계	Statement 안에 Expression이 포함될 수 있음	Expression은 Statement의 구성 요소일 수 있음

언어 유형	특징
C, Java	Statement와 Expression을 명확히 구분함
Python, JavaScript	일부 Expression이 Statement처럼 사용되기도 함 (`print("hi")`)
Lisp, Haskell, Rust	모든 것이 Expression일 수 있음 (expression-based language)