Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I will pay $3.14 to the first person that formalizes mathematics using only https://treenotation.org/.


This appears to just be saying “using python style indentation to represent trees”? I don’t understand the significance. Like, yeah, you can express whatever tree you want that way. Plenty of other ways to represent trees. It’s a nice enough default if you don’t know anything about the sort of thing the tree will contain.

But there’s a reason that when writing conditionals, we don’t put each symbol in the expression on their own line. Those also have their own tree structure, they are also part of the AST, but we put many of the nodes on the same line for ease of reading and editing.


> But there’s a reason that when writing conditionals, we don’t put one symbol in the expression on their own line

I won't disagree with you. However when you zoom out and crunch the numbers, you'll find that although there are infinite expressions to put in conditionals, in practice an absolutely minuscule amount of those patterns are actually used.

Context free grammars are not free.

Better ways are coming.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: