Yeah, I agree this is a poor example of exploratory programming. I actually do think Haskell does a good job for exploratory programming, though. Whether I'm

Yeah, I agree this is a poor example of exploratory programming. I actually do think Haskell does a good job for exploratory programming, though. Whether I'm writing Haskell or C or Python, as I code I'm making decisions about how to represent and organize things. When some of those decisions inevitably turn out to be the wrong ones, I have to figure out what code needs to change in tandem. Tests can help reveal incorrect behavior, but far better to have a tool that can point at the specific inconsistent expressions and tell something about what's wrong with them.