Report question

Question: Can a compiler automatically detect pure functions without the type information about purity?