Re:Tree Calculus
by quantadev on Tuesday December 10, 2024 @03:07AM
(#42374848)
Well, "hoax" may indeed not be the best word, because it implies intent. I've known of another highly intelligent software developer that invented similar symbology, but was suffering from a mental disorder which made him believe his work was useful even though it's only uses were 'self-referential'. Highly intelligent people, including software developers, are not immune from such disorders.
[ Parent
| on HN ]
The author has been publishing math and compsci papers since the 80s [0] with another on the way [1].
Maybe stick to TypeScript?
[0] https://scholar.google.com/citations?user=eWreFm4AAAAJ&hl=en
[1] https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-...
Ok, thanks. I'll avoid the Turning Tarpits.
Is the Y combinator a hoax?
λf. (λx. f (x x))(λx. f (x x))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.