In addition, purity and polymorphism encourage a style of code that is modular, refactorable, and testable.