Purely Functional is the right default Imperative constructs are vital features that must be exposed through explicit effects-typing constructs This is prec

Purely Functional is the right default Imperative constructs are vital features that must be exposed through explicit effects-typing constructs This is precisely the argument Haskellers make every time someone complains about algorithms that are difficult to formulate functionally.