Debasish Ghosh personal blog
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.
- Points
- 197
- HN comments
- 91
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 7, 2026 | Push ifs up and fors down: The idiom, its algebra, and its limits by speckx | 197 | 91 |
