What is Expressiveness in a Computer Language

[Matthias Blume]

George Neuner <gneuner2/@comcast.net> writes:

>  I am, however, going to ask what
> information you think type inference can provide that substitutes for
> algorithm or data structure exploration.

Nobody wants to do such a substitution, of course.  In /my/
experience, however, I find that doing algorithm and data structure
exploration is greatly aided by a language with static types and type
inference.  YMMV.