> This is a good counterexample to "syntax is not sufficient for semantics" Perh... | Hacker News

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

		mrkeen on Dec 10, 2024 \| parent \| context \| favorite \| on: Tree Calculus > This is a good counterexample to "syntax is not sufficient for semantics" Perhaps I'm misunderstanding. At the top of https://treecalcul.us/specification/ it shows 5 lines of small-step semantics. If you threw these away, could you recover them from the syntax?

visarga on Dec 10, 2024 [–]

syntax becomes semantics after sufficient iterative updates in the environment

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