데이블

모나드와 함수형 아키텍처

이 글은 모나드와 함수형 프로그래밍을 이해하기 위한 1년간의 고민과 정리를 담고 있습니다. 타입, 집합, 연산, 고차 함수 등의 개념을 수학적 관점에서 설명하며 모나드의 필요성을 탐구합니다. 특히, 타입은 수학의 집합으로, 함수는 집합 간의 사상(mapping)으로 비유하여 함수형 프로그래밍의 근간을 설명합니다. 모나드는 이러한 함수형 프로그래밍의 복잡성을 해결하고 코드의 안정성과 표현력을 높이는 강력한 도구임을 강조하며, 이를 통해 함수형 아키텍처를 구축하는 데 기여함을 시사합니다. 글쓴이는 모나드에 대한 깊이 있는 탐구를 통해 개인적인 성장도 이루었음을 밝히며, 독자들의 피드백을 통해 더 발전하고자 하는 의지를 보입니다.

데이블·2019년 10월 12일