![]() I'm assuming its because combinators allow us to easily combine expressions (surprise surprise) without the need of any externally-supplied variables. xy)$ to bind the $y$.īut it was never really explained why it is important or useful to prefer combinators. For example, we can take the abstraction $(\lambda x. And there seemed to be this idea I kept reading between the lines, that we can/should turn non-combinator abstractions into combinators by wrapping them in abstractions that bind the free variables. that it is an abstraction with no free variables. In this I learned the concept of a combinator, i.e. Basically I learned the gist of lambda calculus, $\alpha$-conversion and $\beta$-reduction, a bit of Church numerals, addition/subtraction, and the $Y$ combinator.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |