What is Expressiveness in a Computer Language
jo at durchholz.org
Wed Jun 14 21:09:08 CEST 2006
Rob Thorpe schrieb:
> If a language can express constraints of one kind that is an increase
> in expressiveness.
> If a language requires constraint to be in one particular way thats a
> decrease in expressiveness.
Unless alternatives would be redundant.
Having redundant ways to express the same thing doesn't make a language
more or less expressive (but programs written in it become more
difficult to maintain).
> So I would say languages that can be statically typed and can be
> dynamically typed are the most expressive. Languages that require
> static typing or are dynamic but cannot express static typing are less
Note that this is a different definition of expressiveness.
(The term is very diffuse...)
I think Felleisen's paper defines something that should be termed
Whether there's a way to express constraints or other static properties
of the software is something different. I don't have a good word for it,
but "expressiveness" covers too much for my taste to really fit.
More information about the Python-list