3 ms·

Is the Y combinator a hoax? λf. (λx. f (x x))(λx. f (x x))

• quantadev 2y ago
  Y Combinator is the simple syntax for representing the concept of passing a function to itself, so it's useful, for symbolic manipulation. However the "Tree Calculus", just from those 5 little rules, is supposedly able to do all kinds of magic. I'm not buying it. It's nothing but musings and examples of binary trees, and how you can convert various data structures to binary trees.