(no subject)
Feb. 11th, 2006 00:49![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
aruslanMatthias Felleisen wrote a paper exactly on that subject:
"On the Expressive Power of Programming Languages"
[ http://www.cs.rice.edu/CS/PLT/Publications/ ] He came up
with an interesting, formal definition that lets you tell
when one language is strictly more expressive than the other.
He _proved_ for example that a call-by-value lambda-calculus
is strictly less expressive than call-by-name lambda-calculus
(if I remember correctly).
http://okmij.org/ftp/Scheme/oop-in-fp.txt
"On the Expressive Power of Programming Languages"
[ http://www.cs.rice.edu/CS/PLT/Publications/ ] He came up
with an interesting, formal definition that lets you tell
when one language is strictly more expressive than the other.
He _proved_ for example that a call-by-value lambda-calculus
is strictly less expressive than call-by-name lambda-calculus
(if I remember correctly).
http://okmij.org/ftp/Scheme/oop-in-fp.txt
