設計一個monadic類型

Question

我需要一些幫助來設計一個monadic數據類型，我似乎在圍繞這個想法時遇到了麻煩，但我非常明確知道我想要什麼。在這個問題上，只有類型檢查者似乎需要一些說服力。

我想要的是一些數據類型Primitive可以是單子。其功能基本上是繪製原語，我希望能夠將它們和原始組合結合起來，就像庫中的Parser類型parsec。但是實際的繪圖必須用一個IO monad完成。

順便說一句，我也有一類Drawable a這樣的：

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

我要每個原始當然要繪製。非常感謝您的任何意見。

Answer 1

我不明白你爲什麼認爲這應該是monad。什麼是monadic？

您應該首先設計您想要的API，然後逐漸思考如何將其抽象化。

順便說一句，布倫特的圖表庫有一個非常好的成分API，可以提供一些好的想法：http://byorgey.wordpress.com/2008/04/30/new-haskell-diagrams-library/