[GUI] get and set
Tue, 18 Feb 2003 21:37:41 +0100
Krasimir Angelov wrote:
> [...] Well! I expect future discussion in the firstname.lastname@example.org.
> I propose to extract the type classes in the new module (maybe
> Control.Monad.Attributes) and after that to add attribute types
> along with their instances to modules which defines corresponding
> monads. [...]
Just some last remarks before we *really* move this thread to the
* Is there a way to fit your proposal into the existing Control.Monad.*
hierarchy by splitting MonadState into a read and a write part?
* Can we merge this somehow with Hughes' RefMonad?
* The need for the functional dependencies is not 100% clear to me.
* Do we really need MPTC or can we get by with constructor classes
somehow? This is a question I'm asking me from time to time in
different contexts, too.
Due to a lack of time, I haven't spent much time thinking about these
issues for myself, but I think they should be clarified.