I don't know that I like pure programming; I'm just saying that if that's what people like in PFP, you can get that same sense of purity without PFP. Personally, though, I believe that people who like PFP simply find the paradigm to fit well with how they like to think of programs.
> I believe that people who like PFP simply find the paradigm to fit well with how they like to think of programs.
I don't think so actually, which I why I'm so keen to get to the bottom of your idea.
In my experience people find IO in Haskell very unnatural initially. It certainly took me months to get it. Now that I understand it it causes no additional overhead but I think it would have preferred to avoid it. I would still prefer to program in a more "natural" style and still get the benefits of purity. I just don't believe it's possible.
There seem to be two options
1. Work out how to explain IO more straightforwardly so it consumes less effort to understand it
2. Work out how to get the benefits of pure functional programming in a more natural, imperative setting.
