함수형 프로그래밍 정리

함수

함수형 프로그래밍

• 자료 처리를 조건식, 재귀를 사용하는 수학적 함수의 계산으로 취급하고 상태와 가변 데이터를 멀리하는 프로그래밍 패러다임

• 람다 대수(lambda calculus)를 근간으로 두고 있다.

• 제어흐름(if, switch, for)을 함수로 처리하는 것이 목표

1급 객체 (= 1등 시민, First-class citizen)

1. 변수나 데이터 구조에 할당할 수 있음

2. 인자로 넘길 수 있음

3. 리턴 값으로 사용할 수 있음

1. 함수를 타입으로 지정할 수 있음

2. 함수를 인자로 넘길 수 있음

3. 함수를 리턴 값으로 받을 수 있음

순수 함수 (Pure function)

• 동일한 입력에 대해 항상 같은 값을 반환하는 함수

• 함수 내부에서 인자로 받은 값을 변경하거나 프로그램 상태를 변경하는 등의 side effect가 없는 함수
• = 참조 투명성 (referential transparency)

Copy
function f(x) {
  return 2 * x + 1;
}
// y = 2x+1

익명 함수 (Anonymous function)

• 이름이 없는 함수

Copy
// 익명 함수를 변수에 저장
const func = function (param) {
  /* do something */
};
// 변수를 통해 함수 호출
func(something);

• 일반 함수와 다르게 호이스팅이 적용되지 않는 단점이 있다.
• 호이스팅: 함수 선언 보다 함수 호출이 윗 줄에 위치해도 실행되는 기능

Copy
// 익명 함수 호출: 오류 발생
func();

// 익명 함수 저장
const func = function () {
  /* do something */
};

클로저 (Closure)

• 람대 대수(= 람다 계산식, lambda calculus)의 구현체

• 내부함수가 외부함수의 맥락(context)에 접근할 수 있음

• 외부함수의 실행이 끝나서 외부함수가 소멸된 이후에도 내부함수가 외부함수의 변수에 접근 할 수 있음

• 익명 함수로 작성 가능

Copy
function outter() {
  let title = 'Hello, World!';
  return function () {
    console.log(title);
  };
}
const inner = outter();
inner(); // Hello, World!

지연 평가 (= 느긋한 계산, Lazy evaluation)

• 계산의 결과 값이 필요할 때 까지 계산을 늦추는 기법

• 필요할 때까지 계산을 늦추어 불필요한 계산을 줄일수 있음

• 이점
• 불필요한 계산을 하지 않아 빠른 계산이 가능
• 무한 자료 구조 또는 큰 범위의 자료 구조를 부담없이 사용 가능
• 복잡한 수식에서 오류를 피할 수 있음

• 자바스크립트의 지연 평가
• A() && B()에서 A()의 결과가 false라면 B()는 평가하지 않음

고차 함수 (Higher-order function)

• 함수를 인자로 받거나 함수를 리턴하는 함수

Copy
function twice(num) {
  return num * 2;
}
function twiceNum(func, num) {
  return func(num);
}

console.log(twiceNum(twice, 5)); // 10

////////////////////////////////

function Adder(a) {
  return function (b) {
    return a + b;
  };
}
const add10 = Adder(10);
console.log(add10(5)); // 15

Reference

함수 - JavaScript | MDN

함수는 JavaScript에서 기본 구성 요소 중 하나입니다. JavaScript의 함수는 작업을 수행하거나 값을 계산하는 명령문의 집합인 프로시저(procedure)와 비슷하지만, 프로시저가 함수로 쓰이려면 입력을 반드시 받아야 하고 입력과 명확한 관계가 있는 출력을 반환해야 합니다. 함수를 사용하려면 함수를 호출할 스코프 내에서 함수를 정의해야 합니다.

https://developer.mozilla.org/ko/docs/Web/JavaScript/Guide/Functions

클로저 - JavaScript | MDN

클로저는 주변 상태(어휘적 환경)에 대한 참조와 함께 묶인(포함된) 함수의 조합입니다. 즉, 클로저는 내부 함수에서 외부 함수의 범위에 대한 접근을 제공합니다. JavaScript에서 클로저는 함수 생성 시 함수가 생성될 때마다 생성됩니다.

https://developer.mozilla.org/ko/docs/Web/JavaScript/Closures

함수형 프로그래밍

https://ko.wikipedia.org/wiki/함수형_프로그래밍

함수형 프로그래밍이란?

…

https://jongminfire.dev/함수형-프로그래밍이란

Lazy Evaluation을 알아보자

Lazy Evaluation이 무엇이고 장점이 뭔지 살펴 보겠습니다. * 해석 Tip: Lazy(게으른, 느긋한, 지연된) Evaluation(평가, 연산, 계산)

https://medium.com/sjk5766/lazy-evaluation을-알아보자-411651d5227b