Exploring what pure functional programming is all about: what it means, reasoning about it, and performance gains.