Programming Paradigm의 한 종류. 좁은 의미로는 가변값을 갖는 변수, 대입 연산, 반복 등 Imperative한 제어 구조가 없는 프로그래밍을 뜻한다. mutable 변수에 의한 side effect가 없기때문에 parallel programming에 유리하다.