Pure functions

[heron2014]

• Pure functions always return the same result given the same arguments.
• Pure function's execution doesn't depend on the state of the application.
• Pure functions don't modify the variables outside of their scope.