Dialyser vs Equalize

The design choice of dialyser was that it doesn't want to be noisy at all. So, in a sense, we can say that the dialyser view of the world is that by default, your code is correct and good until the analyzer can find any bad thing about it. If there is no signal from dialyser, it does not mean that everything is okay. And this is the difference between dialyser and equalize. On the contrary, type checkers, they take very different partition. They can see the code by default as bad code. And then they try to prove that your code is good. It means that some errors eliminate that you wouldn't