A Little Closer to Finding What Became of M. Schönfinkel Inventor of Combinators

Re:A Little Closer to Finding What Became of M. Schönfinkel ... by dark-star on Friday February 02, 2024 @06:20PM (#39235851)

I vividly remember our teacher at university explaining "currying" in Lambda calculus and afterwards consistenly calling it "Schönfinkeln", which I think only works in German but sounds much more beautiful than "currying" :-D

[ Parent | on HN ]

Re:A Little Closer to Finding What Became of M. Schönfinkel ... by awesomelvin on Friday February 02, 2024 @07:34PM (#39236422)

Ha, my German professor did that too (Tübingen!). Also, I've heard the English equivalent "Schönfinkeling" sometimes.

[ Parent | on HN ]

Re:A Little Closer to Finding What Became of M. Schönfinkel ... by dark-star on Wednesday February 07, 2024 @12:41PM (#39291556)

Indeed, Mike Sperber and Volker Klaeren in Tübingen :) What a small world it is

[ Parent | on HN ]