Hacker News new | ask | show | jobs
by burakemir 2019 days ago
The article is a deep dive into Moses Schönfinkel's life, and mentions how his work is picked up by Haskell Curry.

It is very long, contains surprisingly few of the characteristic Wolfram promotion usually found in Wolfram texts, but besides a detailed biography and pictures of historic documents, there are a few gems (people who researched "algebra of logic" before most others) for the persistent reader.

> And maybe if the operation we now call currying needs a symbol we should be using the “sha” character Ш from the beginning of Schönfinkel’s name to remind us of a person about whom we know so little, but who planted a seed that gave us so much.

That's a good suggestion!

For folks who are interested in combinators but didn't get what they want from the text: the approachable reference on combinators is Hindley and Sheldon's "Lambda-Calculus and Combinators: an introduction"

... and of course, there is "To mock a mockingbird" by Raymond Smullyan, which introduces the topic through puzzles.

1 comments

Typo: Hindley and Seldin ... silly phone autocorrect