본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

함수형 모나드 프로그래밍
Functional Monadic Programming

변석우   (경성대학교 컴퓨터공학과UU0000115  );
  • 초록

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


    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.


 저자의 다른 논문

  • 변석우 (10)

    1. 2001 "분리성에 기반한 직교항 개서 시스템의 변환" 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 28 (8): 582~592    
    2. 2003 "함수형 프로그래밍 기술을 이용한 프로그램 합성 방법" 정보과학회지 = Communications of the Korean Institute of Information Scientists and Engineers 21 (1): 22~28    
    3. 2004 "분리가능 시스템의 지수 추이성과 변환" 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 31 (5): 658~666    
    4. 2004 "명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석" 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 31 (5): 667~676    
    5. 2008 "분리 시스템의 람다 계산법으로의 변환" 정보과학회논문지. Journal of KIISE. 시스템 및 이론 35 (4): 178~185    
    6. 2008 "지연 함수형 프로그래밍 언어의 항 개서 의미" 정보과학회논문지. Journal of KIISE. 시스템 및 이론 35 (3): 141~149    
    7. 2010 "모나드를 이용한 어셈블리 언어 인터프리터 개발" 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 37 (5): 403~410    
    8. 2014 "모나드를 이용한 비결정적 컴파일러 구현" 韓國컴퓨터情報學會論文誌 = Journal of the Korea Society of Computer and Information 19 (2): 151~159    

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 이용한 콘텐츠
이 논문과 함께 출판된 논문 + 더보기