"Bulat Ziganshin" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED] > 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:[EMAIL PROTECTED] _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
