LINKED LIST [txt mode] ▸ Push Ifs Up and Fors Down: The Idiom,...
home explore | log in

Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits | Ruminations of a Programmer

debasishg.github.io · first added by @raybits · 2026-10-11 · 1 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

* How close can pure FP get to C? (from the discussion)

─── Discussions ────────────────────────────────────────

* Push ifs up and fors down: The idiom, its algebra, and its limits
197 pts · 91 comments · node

─── From the discussion ────────────────────────────────

* Documentation
docs.swift.org · node
* Guard (computer science)
en.wikipedia.org · node
* Loop unswitching
en.wikipedia.org · node
* Performance Improvements in .NET 9 - .NET Blog
devblogs.microsoft.com · node
* Structured program theorem
en.wikipedia.org · node