Comment by thdhhghgbhy

>Can the compiler check that a function is pure besides its assigned side effects?

The compiler can't. It is up to the programmer to make sure that a database effect doesn't, say for sake of example, write out to a file also.

So in the end this is just a novel new way to organise code.