Push ifs up and fors down: The idiom, its algebra, and its limits(debasishg.github.io)
169 points by speckx | 79 comments
Blog post examining the 'push ifs up and fors down' coding idiom from TigerBeetle's TigerStyle, relating it to database query optimization and category theory.