eta conversion

名词 n.
中文释义

英文释义

名词 n.
  1. 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). countable,uncountable

词形变化

eta conversions plural
0 次浏览 数据来源: Wiktionary