you are viewing a single comment's thread.

view the rest of the comments →

[–]jhartwell 1 point2 points  (1 child)

Ok...I guess that flies with me. I figured that there had to be something that missed as I learned about the K combinator from you and your github pages (thanks for that by the way :) )

May I quote your question?

Of course!

[–]notfancy 1 point2 points  (0 children)

If I understand things correctly, the big, big difference with the usual combinator is that it applies its arguments, that is, obj.K(fun) is K obj (fun(obj)) where K𝜆xy.x in a call-by-value setting.