The concept we need is called "observational equivalence."...

Devine Lu Linvega's posts Post Back to profile

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

Like 5 Jul 2023 at 18:53 | Open on merveilles.town

4 comments

wakame

@neauoire
On the first glance, it sounds like they are reinventing Lisp...

Yep, also on the second and third glance.

5 Jul 2023 at 19:01 | Open on tech.lgbt

Devine Lu Linvega

@wakame 0_o?

5 Jul 2023 at 19:07 | Open on merveilles.town

wakame

@neauoire
I might need to look deeper into the references papers when I have the spoons for that.

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.

5 Jul 2023 at 19:27 | Open on tech.lgbt

benjohn

@neauoire I had no idea this was, or even could be, formalised. Beyond oddly unsatisfying Kolmogorov complexity ideas. Amazing! Seems probably profoundly important. Thanks for the link.

5 Jul 2023 at 22:04 | Open on noparticular.place

Go Up