Tony Morris

Professionally and on my side projects I use Haskell. I want effect tracking. It's just you have to use monad transformers to compose stuff

Things get ugly pretty quick. Plus, stacking monad transformers ain't cheap. You end up rolling your own most of the time

With all respect, I think you are wrong.

Considering my stand on this is subjective. I don't mind. I'm aware I chose comfort over correctness. Scala is ugly enough.

But your reasoning is wrong. It's not trading anything. It's throwing away, for no benefit.

Ah I see, I agree with you. But instead of pretending people will follow guidelines I rather use a language that makes it mandatory

That's why I rather write my code in Haskell instead of having half assed effect tracking in Scala

There is a good reason to not write IO in Scala. This reason is not one of them. It's not good reasoning.