집합론 추천

집합론에 대한 많은 책들이 있습니다만, 다음 책을 추천합니다.

저 같은 무뇌증도 읽을 수 있고, 원서의 오류를 바로 잡아주고 있어, 용어나 기술법 습득에 도움이 많이 되는 것 같습니다.

경문사 / 집합론 (개정판) / ISBN 89-7282-747-9

You-Feng & Shwu-Yeng의 Set Theory의 한영대역본입니다.

강추입니다.

Haskell에서 모나드(monad)란...

이리저리 책을 뒤적여보니...

순수함수형언어인 Haskell의 장점을 파괴하지 않으면서,

1. modulality를 제공해주고

2. 좀더 유연한 코드를 쉽게 작성해 주고(기존 모나드의 여러가지 기능을 이용 가능)

라는 것인듯 합니다.

함수형언어는 명령형 언어의 계산방법과 차이가 있는데(특히 지연평가), 입출력 시스템등에서는 지연평가로는 원하는 입출력을 얻을 수 없다는 단점이 있습니다.

명령형 스타일의 코드를 실행하면서 함수형언어의 장점을 지킬 수 있는 방법이 모나드라는 것이라고 합니다.

제가 이해하기로는 MASM, C에서의 모듈화에 OO에서 이야기하는 캡슐화등의 장점을 가지면서도, 함수형 언어와 완벽하게 조화되는 코드를 작성하게 해주는 방법 내지는 template같은 것...정도로 이해했습니다.

현재 Real World Haskell 탐독중입니다. 초보인 제게는 어렵네요. Category theory등에 대한 정보도 같이 습득중입니다.

All about Monad (모나드의 모든 것)

Category Theory에 대한 프린트들을 제본을 맡긴 사이에 잠시 monad를 훑어 보기로 하였습니다.

http://www.haskell.org/all_about_monads/html/index.html

완벽하게 이해되는 것은 아니지만, 최소한 Haskell에서의 monad라는 것에 대해서 느껴볼 수 있는 내용입니다. 지하철에서 계속 탐독중입니다. ^^;

권론(category theory) 참고 자료 & 사이트

구글에서 pdf 화일을 찾아보니, 많은 좋은 자료들이 검색되었습니다.

Category Theory for Dummies (I)

Category Theory for Beginners

Category Theory Lecture Notes

A Gentle Introduction to Category Theory

技術者／プログラマのためのモナドと圏論第1回

技術者／プログラマのためのモナドと圏論第2回

http://hibituredure.blogspot.com/2009/04/1.html

http://d.hatena.ne.jp/m-hiyama/20060821/1156120185

위의 자료들을 공부중입니다.

모나드(monad)와 권론(category theory)

모나드를 공부중입니다만, 몇몇 프로그래머 선생님들과는 달리 제 머리로는 권론을 이해하는데 '매우' 어려움이 있습니다.

결국 권론을 공부중입니다....... --;