alt Hacker News> Explorative work becomes quite difficult if the type system is really rigid
Or to put it another way, the ease of programming is correlated with the ease of making undetected mistakes.
> Explorative work becomes quite difficult if the type system is really rigid
Or to put it another way, the ease of programming is correlated with the ease of making undetected mistakes.
I'm not sure you tried to understand what I've depicted.
As long as you don't know how the end result should look like there are no "mistakes".
The whole point of explorative work is to find out how to approach something in the first place.
It's usually impossible to come up with the final result at first try!
After you actually know how to do something in general tools which help to avoid all undetected mistakes in the implementation of the chosen approach are really indispensable. But before having this general approach figured out too much rigidity is not helpful but instead a hindrance.
To understand this better read the linked article. It explains the problem very well over a few paragraphs.