Difference between revisions of "Eta-reduction"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[https://sookocheff.com/post/fp/eta-conversion/ <math>\eta</math>-reduction] is the sequential composition of [[S-expression]]s, so that it creates a new function out of a sequence of two consecutive [[S-expression]]s. | [https://sookocheff.com/post/fp/eta-conversion/ <math>\eta</math>-reduction] or <math>\eta</math>-composition, is the sequential composition of [[S-expression]]s, so that it creates a new function out of a sequence of two consecutive [[S-expression]]s. | ||
Latest revision as of 08:29, 31 August 2022
-reduction or -composition, is the sequential composition of S-expressions, so that it creates a new function out of a sequence of two consecutive S-expressions.
