The Tao giveth △ (false)
△ gives △ △ (true)
△(△, △) giveth rise to all things computable
(just kidding, I am totally lost to this)
> f = λa λb concat ["Hello ",a," ",b,"!"] > f "Jane" "Doe" Hello Jane Doe!
then,
> g = f "Admiral" > invert g "Hello Admiral Alice!" Alice
He's really into the graphical representation of Turing machines and multiway Turing machines.
Ok. But what is it?
The first chapter is so completely self-aggrandizing about how this book will change your life and the world and the entirety of science and mathematics and you should feel lucky for reading it.
The cellular automata stuff is pretty cool, but I don't feel like it lived up to the hype of the first chapter.
See Barry’s post https://github.com/barry-jay-personal/blog/blob/main/2024-12... for more discussion.
It's like they had the idea of marketing this like a software project, not realizing that most front pages of software projects are utter bunk as well. It introduces terminology and syntax with no motivation or explanation.
Even once trying to get into "Quick Start" and "Specification" I was still mystified as to what it is or why I should want to play with it, or care. I had to go to the link mentioned upthread to get any sense of what this was or how it worked.
I think it's just badly written.
That being said, what seems to be proposed is a structure and calculus that are an alternative to lambda-calculus. The structures, as you can probably guess from the picture, are binary trees, ostensibly unlabeled except that there is significance to the ordering of the children. The calculus appears to be rules about how trees can be "reduced", and there is where the analogy to lambda calculus comes in.
Hopefully someone who actually knows this stuff can see whether I managed to get all that right – because I promise you, none of that understanding came from the website.
[1] or not pure maths anyway. It's applied maths like all computer science.
The inversion is really cool, e.g.
> f = λa λb concat ["Hello ", a, " ", b, "!"]
> f "Jane" "Doe"
Hello Jane Doe!
then, > g = f "Admiral"
> invert g "Hello Admiral Alice!"
Alice