Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-07 Thread Kim-Ee Yeoh
On Sun, Apr 7, 2013 at 5:03 AM, Ömer Sinan Ağacan wrote: > That's interesting, thanks! Do you have any recommendations about > which file to start reading? AFAIK, GHC is _huge_. Without a discussion of your interests, it's hard to say. Certainly, I'd set up the reading environment, namely an edit

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread kudah
On Sun, 7 Apr 2013 01:02:12 +0300 Ömer Sinan Ağacan wrote: > I'm not happy with this design because to me it was like I'm missing > the point of using a 'functional' language. You kind of do, e.g. you might not be able to test parts of your program independently. > For instance, in most parts o

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Tillmann Rendel
Hi, Ömer Sinan Ağacan wrote: One thing I'm not happy about my Haskell programs is, almost all of my programs have a monad transformer stack consisting MonadError, MonadIO and MonadState. You can try to write most of your program in pure functions that are called from a few "main" functions in

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Ömer Sinan Ağacan
> Not as well-known as it should be is the fact that GHC doesn't make > much use of monad transformers. Have you taken a look at the sources? > That might provide ideas on future ways of structuring your > experiments. That's interesting, thanks! Do you have any recommendations about which file to

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Ömer Sinan Ağacan
> You forgot to mention what your problem is. :) > > What you describe sounds reasonable. Why do you want to "escape"? It's not really a problem, I'm not happy with this design because to me it was like I'm missing the point of using a 'functional' language. For instance, in most parts of my code

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Roman Cheplyaka
Hi Ömer, You forgot to mention what your problem is. :) What you describe sounds reasonable. Why do you want to "escape"? Roman * Ömer Sinan Ağacan [2013-04-07 00:22:58+0300] > Hi, > > I'm a hobbyist Haskell programmer and my use of Haskell is mostly > consists of writing interpreters, simple

Re: [Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Kim-Ee Yeoh
On Sun, Apr 7, 2013 at 4:22 AM, Ömer Sinan Ağacan wrote: > I'm a hobbyist Haskell programmer and my use of Haskell is mostly > consists of writing interpreters, simple virtual machines, and type > checkers. > > One thing I'm not happy about my Haskell programs is, almost all of my > programs have

[Haskell-cafe] Is there an escape from MonadState+MonadIO+MonadError monad stack?

2013-04-06 Thread Ömer Sinan Ağacan
Hi, I'm a hobbyist Haskell programmer and my use of Haskell is mostly consists of writing interpreters, simple virtual machines, and type checkers. One thing I'm not happy about my Haskell programs is, almost all of my programs have a monad transformer stack consisting MonadError, MonadIO and Mon