Purescript on Kevin Sookocheff
https://sookocheff.com/tags/purescript/
Recent content in Purescript on Kevin SookocheffHugo -- gohugo.ioen-uskevin@sookocheff.com (Kevin Sookocheff)kevin@sookocheff.com (Kevin Sookocheff)Thu, 27 Sep 2018 10:16:45 -0600Eta Reduction
https://sookocheff.com/post/fp/eta-conversion/
Thu, 27 Sep 2018 10:16:45 -0600kevin@sookocheff.com (Kevin Sookocheff)https://sookocheff.com/post/fp/eta-conversion/The purpose of eta reduction (also written \(\eta\)-reduction) is to drop an abstraction over a function to simplify it. This is possible when there is nothing more that a function can do to its argument. For example, imagine that we have a simple function \( f\ x = g\ x \). Both \(g\) and \(f\) take the same argument, \(x\), and the function application function results in the same value (specified by the equality symbol).