What is Expressiveness in a Computer Language [correction]

[rossberg at ps.uni-sb.de]

Joe Marshall wrote:
> Andreas Rossberg wrote:
> >
> > Which is why this actually is a very bad example to chose for dynamic
> > typing advocacy... ;-)
>
> Actually, this seems a *good* example.  The problem seems to be that
> you end up throwing the baby out with the bathwater:  your static type
> system stops catching the errors you want once you make it powerful
> enough to express certain programs.

That is not the case: you can still express these programs, you just
need to do an indirection through a datatype.

- Andreas