람다 대수

람다 대수
$\lambda$(람다) 대수는 추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계이다.
(❗️ 컴퓨터과학에서 추상화란 복잡한 자료, 모듈, 시스템 등으로부터 핵심적인 개념 또는 기능을 간추려 내는 것을 말한다.)

• 함수는 컴퓨터 과학과 수학의 기초를 이루는 개념이다.
• 이러한 함수는 람다 대수를 통해 단순하게 표현할 수 있고 함수의 계산이라는 개념을 더 깊이 이해할 수 있다.
• 람다는 인라인(한 줄)으로 작성할 수 있기 때문에 전체 함수보다 읽기 쉽다. 따라서 함수 표현식의 규모가 작을 때 람다를 사용하는 것이 좋다.
• 람다 함수의 장점은 함수 객체를 반환한다는 것이다. 따라서 함수 객체를 인수로 필요로 하는 map 또는 filter와 같은 함수와 함께 사용할 때 유용하다.