Hacker News new | ask | show | jobs
by bharvey 2488 days ago
I have to confess, that function, even though I always call it Y when I write it so people will get what it's about, isn't a combinator at all. Writing a real Y combinator in an applicative-order language is possible but complicated, so I never do it. :-) (The difference is that this function takes a _two input_ function as input and supplies itself as its first input. Really it should take a one-input function and magick that into a two-input one first.)
1 comments

So technically, that's a "Y Not-Combinator"?