Email or username:

Password:

Forgot your password?
4 comments
wakame

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

Yep, also on the second and third glance.

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.

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.

Go Up