CMCDragonkai/eta_expansion vs eta_reduction.md

Created May 25, 2016 06:37

Star (1) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/CMCDragonkai/0a589434f1d9c34005ed3e16a12edf4c.js"></script>
Save CMCDragonkai/0a589434f1d9c34005ed3e16a12edf4c to your computer and use it in GitHub Desktop.

Download ZIP

Lambda Calculus: Eta Expansion vs Eta Reduction

Raw

eta_expansion vs eta_reduction.md

Eta Expansion vs Eta Reduction

Eta expansion is going from point-free to pointy: id => \x -> id x.
Eta reduction is going from pointy to point-free: \x -> id x => id.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment