Tony Morris

in Scala, isn't that true? You could side effect, dropping a db table, in that function since not pure fp, no? note - not against pure fp!

You can't do *anything*, such as return 7, since it will be a type error, not a program.

Personally, constraining myself to purity and never trusting blindly. With the function A => A there should only be one.

See, Fast & Loose Reasoning is Morally Correct.

I worry that anything found from pragmatism may buckle under the weight of a moral imperative.

Where does pragmatism come into it?

The second sentence it does not. In the first self constraints arnt binding, some libraries are ok.

Lots of modification is A => B => A with constraints on A and B which then silently hides the transformation.