Comments on A Neighborhood of Infinity: Local and global side effects with monad transform...

magnus, I personally wouldn't worry too much abou...

2007-01-12T10:23:00.000-08:00

magnus,

I personally wouldn't worry too much about not being able to remove the lifts. If you use implicit lifts then you can't use two state transformers of the same type simultaneosuly which is pretty non-orthogononal. So I suggest always using the lifts.

Great post. I copy/pasted your code, function by ...

2007-01-12T09:53:00.000-08:00

Great post.

I copy/pasted your code, function by function and played around a bit between each step to make sure I understood what was happening. by the time I got to test6 I run into problems. I seem to only have a half-recent distribution of Haskell (ghc 6.6) because I could only get rid of half of the lifts :-) I still needed to lift the tell twice.

Hmmm...it's just become harder to proofread this. ...

2006-09-18T09:15:00.000-07:00

Hmmm...it's just become harder to proofread this. Not only do I have to read it here, but I also need to view it over at Planet Haskell. I see that the <- 'operators' are coming out differently over there...

One speed-killer is the mlist function which is ap...

2006-09-18T07:39:00.000-07:00

One speed-killer is the mlist function which is applied every single time a branch in the logic proram is taken. Also, most lines of code written in monadic style have implicit >>= functions in them. As you layer up monad transformers the implementation of >>= gets more and more complex.

Is the performance drop perhaps due to a lack of l...

2006-09-18T03:25:00.000-07:00

Is the performance drop perhaps due to a lack of laziness in the Writer monad? I just read about LazyWriter on NewMonads.

I'm really loving these monad transformer articles...

2006-09-18T02:21:00.000-07:00

I'm really loving these monad transformer articles. I had come across monad transformers before, but without really a clue as to why I would want to use them. Would you consider adding something to this page:

Haskell/Monad transformers

...even if it's just a link to your own articles.

Thanks,

Luke