What is Expressiveness in a Computer Language

Ketil Malde ketil+news at ii.uib.no
Mon Jun 26 12:42:43 CEST 2006


Anton van Straaten <anton at appsolutions.com> writes:

> 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.

I'd be tempted to go further, and say that the programmer performs 
(informally, incompletely, and probably incorrectly ) a proof of
correctness, and that type correctness is just a part of general
correctness. 

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants



More information about the Python-list mailing list