Cheese
I foolishly have been thinking about the Geach operator much too mechanically and missing out on what it actually is.
(To geach a function f: λG[λH[f(G(H))]] – um, how did I miss this?)
I foolishly have been thinking about the Geach operator much too mechanically and missing out on what it actually is.
(To geach a function f: λG[λH[f(G(H))]] – um, how did I miss this?)
yeah baby
λaλbλc[a(b(c))]
Wow, really? Whereas even eight years after my last course with Polly, I still have a bad tendency to say “function composition” when I mean “function application”, because the latter is barely even a process compared to the former.
Yeah, I have that same tendency, actually! I’d, you know, heard the whole “geach is just function composition” but never really thought about it…And then I sort of just realized DUH. Oops.