Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits

Tiger Style and matklad recommend pushing ifs up and fors down. This post looks at what the idiom actually says, where it shows up in query optimization and in the algebra of functional programs, and where the analogy stops paying for itself.