No AI summary available for this article.
Why It Matters
Raymond Smullyan’s "To Mock a Mockingbird" book's aviary of combinator birds implemented in APL-derived languages and the problem implementing the Sage bird (Fixed Point or Y combinator) in an eagerly evaluated language.
Provenance
Discovered via Hacker News and published by blog.softwarewrighter.com.
Key Claims
Original description
Raymond Smullyan’s "To Mock a Mockingbird" book's aviary of combinator birds implemented in APL-derived languages and the problem implementing the Sage bird (Fixed Point or Y combinator) in an eagerly evaluated language. Newer APLs support lazy evaluation. My eager language has a workaround for this. The Z combinator is the standard strict-language fix: wrap the self-application in one extra function layer (λv. x x v), so the recursion is a value (a delayed call) rather than an executing expression. sw-MLPL expresses that delay as a named partial — z_step/z_recur/applicative_sage — b...
Discovered via Hacker News
Community-ranked links and discussion from the HN front page.
Publisher: blog.softwarewrighter.com
ID: 49790937 · Indexed 2 days ago