Of course, the callback doesn't need to be pure. It just need to be side-effects...

		groby_b on Dec 24, 2014 \| parent \| context \| favorite \| on: Pitfalls of Callback-Based APIs Of course, the callback doesn't need to be pure. It just need to be side-effects free with respect to the caller.