0%

eta abstraction

E e

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definitions of eta abstraction words

  • abbreviation Technical meaning of ETA ABSTRACTION eta conversion 3
  • noun Definition of eta abstraction in Technology (theory)   In lambda-calculus, the eta conversion rule states \ x . f x <--> f provided x does not occur as a free variable in f and f is a function. Left to right is eta reduction, right to left is eta abstraction (or eta expansion). This conversion is only valid if bottom and \ x . bottom are equivalent in all contexts. They are certainly equivalent when applied to some argument - they both fail to terminate. If we are allowed to force the evaluation of an expression in any other way, e.g. using seq in Miranda or returning a function as the overall result of a program, then bottom and \ x . bottom will not be equivalent. See also observational equivalence, reduction. 1
See all 2 definitions of eta abstraction

Information block about the term

Parts of speech for Eta abstraction

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Eta abstraction

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?