The smallest type change make entire APIs incompatible, hence a lot of pain in OCaml: forced upgrades, forced downgrades, crazy version update schedules, extra forks, reluctance to fix bad early choices that would break compatibility, etc. Types DIRECTLY cause library badness.
"No big deal", except you now have to update a few tens of other packages. But you don't. And now the entire system has a ticking bomb. And not just one but tens of them at any moment. And so it's never once seen that all packages work together. The ecosystem is deeply divided.
-
-
If it compiles, it should be fine. That's the kind of changes I was talking about, anyway. If you work in an ecosystem without (strong) compilers, well ...

-
I have the strongest of all compilers: it rejects all the programs. Every program it accepts is 100% bug-free for whatever purpose anyone wants.
- 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!