"Bulat Ziganshin" <bulatz@HotPOP.com> wrote in message news:73-1823664531.20060122133738@HotPOP.com...
Hello Srinivas,
Sunday, January 22, 2006, 2:20:32 AM, you wrote:
SN> stateful, structurally rich applications in Haskell. If the next version of SN> Haskell does support a more convenient and extensible datatype mechanism,
i am inetersting - what you mean by "more convenient and extensible datatype mechanism"? i also not fully satisfied by current one, even with hugs/ghc extensions, so i'm interested in thoughts about improvements in this area Mostly the stuff that has been discussed recently. For example requiring unique field names across all datatypes, the lack of support for width and depth subtyping, mutually referencing datatypes are awkward to do without resorting to the ST and STRef monads (not standard), which introduces complications of its own, like have to introduce composition if you're "in" some other monad like IO. I know some of this is handled by T-Rex, but i would like to see it become standard
cheers
-- Best regards, Bulat mailto:bulatz@HotPOP.com