Review the following procedural Python code snippet which manages a list of user transactions with global state and loops. Refactor it completely into a functional programming style using 'map', 'filter', and 'reduce' (or functools.reduce). Ensure that all variables are immutable and side effects are eliminated. Provide the final code and a brief explanation of how state management changed.