[TIL/모던 자바스크립트 Deep Dive] 2023/05/30

12장. 함수

12-7. 다양한 함수의 형태(이어서...)

순수 함수와 비순수 함수

함수형 프로그래밍에서는, 어떠한 외부 상태에 의존하지도 않고 변경하지도 않는, 즉 부수 효과가 없는 함수를 ``순수 함수(pure function)`라고 하고, 외부 상태에 의존하거나 외부 상태를 변경하는, 즉 부수 효과가 있는 함수를 `비순수 함수(impure function)``라고 한다.

순수 함수는 일반적으로 최소 하나 이상의 인수를 전달받는다. 인수를 전달받지 않는 순수 함수는 언제나 동일한 값을 반환하므로 상수와 다를 바 없다. 최소 하나 이상의 인수를 전달받지 않는 순수 함수는 그다지 의미가 없는 것이다. 추가적으로, 순수 함수는 인수를 변경하지 않는 것이 기본이다. 다시 말해, 순수 함수는 인수의 불변성을 유지한다.

![](https://velog.velcdn.com/images/minkwan/post/30c69293-5198-4ddd-902a-9258f84f4c1e/image.png)

함수가 외부 상태를 변경하면 상태 변화를 추적하기 어려워진다. 따라서 함수 외부 상태의 변경을 지양하는 순수 함수를 사용하는 것이 좋다. 위 예제의 increase 함수와 같은 비순수 함수는 코드의 복잡성을 증가시킨다. 비순수 함수를 최대한 줄이는 것은 부수 효과를 최대한 억제하는 것과 같다.

13장. 스코프

13-1. 스코프란?

스코프(유효범위)는 자바스크립트를 포함한 모든 프로그래밍 언어의 기본적이며 중요한 개념이다. 다음 코드를 살펴보자.

변수는 코드 블록이나 함수 몸체 내에서도 선언할 수 있다. 이때 코드 블록이나 함수는 중첩될 수 있다.

변수는 자신이 선언된 위치에 의해 자신이 유효한 범위, 즉 다른 코드가 변수 자신을 참조할 수 있는 범위가 결정된다. 모든 식별자가 그렇다. 한마디로, 스코프는 식별자가 유효한 범위를 의미한다.

자바스크립트 엔진은 이름이 같은 두 개의 변수 중에서 어떤 변수를 참조해야 할 것인지를 결정해야 한다. 이를 ``식별자 결정``이라 한다. 따라서 스코프는 자바스크립트 엔진이 식별자를 검색할 때 사용하는 규칙이라고도 할 수 있다.

위 예제에서, 코드 가장 바깥 영역에 선언된 x 변수는 어디서든 참조가 가능하다. 하지만 foo 함수 내부에서 선언된 x 변수는 foo 함수 내부에서만 참조할 수 있고 foo 함수 외부에서는 참조할 수 없다. 두 개의 x 변수는, 이름은 동일하지만 스코프가 다른 별개의 변수이다.

스코프라는 개념이 없다면 같은 이름을 갖는 변수는 충돌을 일으키기에, 프로그램 전체에서 하나밖에 사용할 수 없게 된다. '식별자'는 어떤 값을 구별하여 식별해낼 수 있는 고유한 이름을 말한다. 기본적으로 유일(unique)해야 한다. 따라서 식별자인 변수 이름은 중복될 수 없다. 달리 말하면, 하나의 값은 유일한 식별자에 연결되어야 한다.

그런데 왜 쓰나고!

우리는 컴퓨터를 사용할 때 하나의 파일 이름만 사용하지는 않는다. 식별자라고 볼 수 있는 파일 이름을 중복해서 사용할 수 있는 이유는 폴더(디렉터리)라는 개념이 있기 때문이다. 폴더가 없다면 파일 이름은 유일해야 한다.

프로그래밍 언어에서도 스코프를 통해 식별자인 변수 이름의 충돌을 방지하여 같은 이름의 변수를 사용할 수 있게 한다. 스코프 내에서 식별자는 유일해야 하지만 다른 스코프에는 같은 이름의 식별자를 사용할 수 있다.

즉, 스코프는 네임스페이스다.

+) var 키워드로 선언된 변수는 같은 스코프 내에서 중복 선언이 허용된다.