Gear의 코딩 블로그

모나드는 입출력 같은 비순수 액션을 대표하는 놈이면서도 어떻게 순수하다 말할 수 있는가? 이건 제가 하스켈을 배우면서 가장 궁금했던 부분입니다. 모나드를 배우면서 이론적으로 실용적으로 어느정도 이해하고 나서도 저 질문에 대해서는 잘 답을 못하겠더라구요.. 그래서 제가 구글링한 결과를 정리해 보겠습니다.짧은 버전직접 모나드를 써보고 깨달으세요.조금 덜 짧은 버전모나드는 비순수 액션을 수행하는 '방법'의 데이터 구조이고, 실제로 비순수한 부분은 그걸 실행하는 쪽(하스켈 런타임 시스템)입니다.긴 버전요리로 생각하면, 모나드는 특정 타입의 값을 만들어 내는 레시피와 같습니다. 특정 인수를 받고 모나드(예 IO Int)를 반환하는 함수는 특정 값에 따라 레시피를 생산하는 어떤 물체로 비유될 수 있습니다. 레시피 ..

https://stackoverflow.com/questions/44965/what-is-a-monad 첫째로, 모나드라는 용어는 당신이 수학자가 아니라면 조금 얼빠지게 들릴 수 있습니다. 대신 그들이 실제로 유용한 것에 대해 더욱 제대로 설명해주는 용어인 연산 빌더가 있습니다. 예제 1. 리스트 해석식: [x*2 | x= (\x -> if odd x then [x*2] else [])예제 2. 입출력: do putStrLn "What is your name?" name >= 연산자의 문법적 설탕입니다. 모나드는 기본적으로 >>= 연산자를 제공하는 타입일 뿐입니다. 예제 3. 파서: 다음은 ""로 감싸진 문자열과 숫자를 파싱하는 아주 간단한 파서입니다: parseExpr = parseString pars..

http://gearwiki.asuscomm.com 얼마전에 라즈베리파이를 구매한 기념으로 만들어본 첫번째 프로젝트 입니다. dokuwiki 엔진을 기반으로 돌아가는 이학 및 공학 계열 중심의 자유위키입니다. 물론 이공계 주제 문서만 생성 가능한건 아니니 자유롭게 기여에 참여해 주시길 바랍니다. 참고로 여기서 dokuwiki 엔진에 대해 간략히 설명드리자면.. DB 관리를 거창한 DBSM 없이 텍스트 문서 형태로 전부 저장해두는 엔진입니다. 이점이 뭐냐면 백업시에 data 폴더만 따로 보관해두고 나중에 붙여넣으면 끝이거든요. 또 SQL-Free 라던지.. 그래서 개인 위키 내지 소형 위키에는 꽤나 적합한(그리고 초기 세팅이 아주 미니멀해서 라즈베리파이같은 저사양 보드에서 돌리기 좋아요.) 엔진이라 볼 수..