The concept we need is called "observational equivalence."
https://langdev.stackexchange.com/questions/2015/how-can-we-compare-expressive-power-between-two-turing-complete-languages
The concept we need is called "observational equivalence." 4 comments
@neauoire But this discussion of "expressive power" and the idea of "adding features to increase expressiveness" sound "languages become more powerful by adding stuff" school of thought. And "features that make the language more expressive" sounds a lot like Lisp macros. |
@neauoire
On the first glance, it sounds like they are reinventing Lisp...
Yep, also on the second and third glance.