Contextualizebeta

eta conversion

noun

Definitions

  1. One of the three rewrite rules of lambda calculus, which expresses a sort of tautology…

    One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (λx.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).

The neighborhood

Vish — recursive loop

No curated loop yet for eta conversion. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA