대입연산 없이 불변하는 변수들과 함수들로만 짜여진 프로그램을 뜻하는거지?