What is Expressiveness in a Computer Language
chris.uppal at metagnostic.REMOVE-THIS.org
Wed Jun 21 05:32:40 EDT 2006
Anton van Straaten wrote:
> But a program as seen by the programmer has types: the programmer
> performs (static) type inference when reasoning about the program, and
> debugs those inferences when debugging the program, finally ending up
> with a program which has a perfectly good type scheme. It's may be
> messy compared to say an HM type scheme, and it's usually not proved to
> be perfect, but that again is an orthogonal issue.
I like this way of looking at it.
More information about the Python-list