And Brain said,

Index 0. 함수형 프로그래밍 1. 람다 대수 (Lambda Calculus)와 합성함수 2. 범주론 (Category Theory) 3. 모노이드 (Monoide) 4. 펑터 (Functor)와 엔도펑터(Endo Functor) 5. 모나드 (Monad) 6 함수형 프로그래밍의 고급 기법 부분 적용, 커링 및 메모이제이션 지연 평가 및 패턴 매칭 리커시브 함수와 꼬리 재귀 최적화 람다 람다(λ, Lambda)는 그리스 문자로, 람다 계산법(Lambda Calculus)에서 사용되는 기호입니다. 람다 계산법은 알론조 처치(Alonzo Church)가 1930년대에 개발한 수학 이론으로, 함수의 정의, 응용, 조합 등을 다루는 이론입니다. 이때 함수를 표현하기 위해 람다 기호를 사용하였습니다. 람다 계..

Index 0. 함수형 프로그래밍 1. 람다 대수 (Lambda Calculus)와 합성함수 2. 범주론 (Category Theory) 3. 모노이드 (Monoide) 4. 펑터 (Functor)와 엔도펑터(Endo Functor) 5. 모나드 (Monad) 6 함수형 프로그래밍의 고급 기법 부분 적용, 커링 및 메모이제이션 지연 평가 및 패턴 매칭 리커시브 함수와 꼬리 재귀 최적화 서문 현대 프로그래밍 패러다임은 다양한 접근 방식과 스타일을 포함하고 있습니다. 함수형 프로그래밍은 그 중 하나로, 선언형 프로그래밍의 일종이며 수학적 함수의 개념을 기반으로 합니다. 이 방식은 복잡한 문제를 보다 간결하게 표현하고, 이해하기 쉬운 코드로 구성하는 데 도움이 됩니다. 또한 동시성과 병렬 처리를 쉽게 구현할 ..