Make it possible to evaluate monadic actions when assigning record fields

2007-07-10 Thread Adde
uate the actions before assigning which doubles the number of lines: tmp <- foo return Bar { barFoo = tmp } 2) Lifting the record constructor which prevents you from using field specifiers (and you really need field specifiers when dealing with larger records): liftM Ba

Re: Make it possible to evaluate monadic actions when assigning record fields

2007-07-10 Thread Adde
On Tue, 2007-07-10 at 17:04 +, [EMAIL PROTECTED] wrote: > Isaac Dupree <[EMAIL PROTECTED]> wrote: > > > > Adde wrote: > > > tmp <- foo > > > return Bar { > > >barFoo = tmp > > > } > > > > There is a f

Re: Make it possible to evaluate monadic actions when assigning record fields

2007-07-11 Thread Adde
Monads are a part of Haskell. The more tiresome monads are to use, the more tiresome Haskell is to use. I suggest we leave the decision of where and when to use them to each individual user of the language. /Adde > In any case, I'm *strongly against* further syntactic sugar for