모나 딕 (monadic) 타입 디자인하기

Question

모나드 데이터 타입을 디자인하는 데 약간의 도움이 필요할 것입니다. 아이디어에 머리를 감싸는 데 어려움이있는 것 같지만, 원하는 것을 확실히 알고 있습니다. 그 유형 검사관 만이 그 문제에 대해 어떤 설득을 요구합니다.

내가 원하는 것은 모나드가 될 수있는 데이터 유형 Primitive입니다. 그 함수는 기본적으로 드로잉 프리미티브이며, parsec 라이브러리의 Parser 유형과 마찬가지로 프리미티브가되는 조합과 조합을 결합 할 수 있기를 원합니다. 그러나 실제 드로잉은 IO 모나드로 수행되어야합니다.

는 덧붙여, 나는 또한이 같은 클래스 Drawable a 있습니다

class Drawable a where 
    draw :: (MonadIO m) => Pos -> a -> m() 

그리고 당김 수 물론 모든 원시를 원한다. 모든 입력에 감사드립니다.

Answer 1

왜 이것이 모나드라고 생각하는지 이해가되지 않습니다. 그것에 대해 모나드가 무엇입니까?

먼저 원하는 API를 디자인하고이를 추상화하는 방법에 대해 점진적으로 생각해야합니다. http://byorgey.wordpress.com/2008/04/30/new-haskell-diagrams-library/