Difference between revisions of "Eta-reduction"
Jump to navigation
Jump to search
(Created page with "[https://sookocheff.com/post/fp/eta-conversion/ eta-reduction] is to drop an abstraction over a function to simplify it.") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
[https://sookocheff.com/post/fp/eta-conversion/ eta-reduction] is | [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.
