Functional Monadic Programming

함수형 모나드 프로그래밍

It has been a long standing problem in research of pure functional programming to program side-effect, input/output, exception handling, nondeterminism, and etc, preserving declarative property and lazy-evaluation of pure functional languages. Being introduced in 1989, Monadic approach has been suggested as a solution to this problem. In this paper, we introduce the principle of functional monadic programming and its various application techniques using the Pure functional language Haskell.

순수 함수형 언어의 선언적 특성과 지인 계산의 특성을- 유지하면서 side-effect, 입출력, 예외처리, 비절정성 등을 프로그래밍 하는 것은 순수 함수형 프로그래밍 연구의 오랜 숙제였다. 1989년에 개발된 모나드 프로그래밍 기법은 이 문제를 해결할 수 있는 가능성을 제시하고 있다. 본 고에서는 함수형 모나드 프로그래밍의 기본원리와 순수 함수형 언어 Haskell을 이용한 여러 응용 프로그래밍 기법에 대해서 소개한다.