Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits (debasishg.github.io)

<a href="https://news.ycombinator.com/item?id=49997073">Comments</a>