Nghĩa chính
- Một trong ba quy tắc viết lại của phép tính lambda, thể hiện một dạng lặp thừa về ứng dụng hàm. Quy tắc nói rằng một sự trừu tượng hóa lambda có dạng (λx.(fx)) có thể được viết lại thành f đơn giản, miễn là x không xuất hiện tự do trong f (được xem xét bởi chính nó)danh từđếm được và không đếm được (countable, uncountable)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).
Dạng từ (word form)
theo quy tắc (regular)- eta conversionDạng gốc (base form)
- eta conversionsSố nhiều (plural)