Hacker News Front Page · speckx ·
Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits
El principio «subir los ifs y bajar los fors» propone centralizar las decisiones antes del procesamiento y agrupar los bucles para reducir ramas y costos repetidos. El artículo relaciona esta práctica con la optimización de consultas de bases de datos y con conceptos de programación funcional y teoría de categorías, y deriva la ley que permite reordenar `filter` y `map`. También precisa sus límites: las transformaciones solo son válidas bajo ciertas condiciones, y filtrar antes de mapear ahorra trabajo únicamente cuando la condición puede evaluarse con menor costo sobre la entrada.
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.