Explain how to architect a state management system for a complex application using only immutable data structures and pure functions. Specifically, detail how to handle derived state and history management (undo/redo) without mutating the primary state object. Provide a conceptual walkthrough of a structural sharing algorithm to optimize memory usage during state updates.