What to Know Before Debating Type Systems

There's like a whole bunch of different assumptions baked in usually when people say type systems there's not an easy answer to. I definitely have my experience of dialerza so far has been that it's been more hassle than it's worth. In day-to-day work if the guess of greenfield project some more rigor could sometimes be niceYeah and then when you found one oh wow found one bug it wasn't in my code though it was in OTP in OTP, he says.