typing again

[Chris Pressey]

On Fri, 4 Apr 2003 21:58:12 +0200 (MEST)
Kostis Sagonas <kostis@REDACTED> wrote:

> With the risk of embarking on a perennial discussion and opening
> up Pandora's box, I personally think that the proper answer to
> this is:
> 
> 	"I'd love to have a type system that once I've developed 
> 	 my application I can optionally employ to catch possible
> 	 type errors that may exist in my code, and to use as
> 	 documentation about my data structures which is
> 	 compiler-verified.
> 
> 	 However, I do not necessarily want the type system
> 	 to stand on my way while I am experimenting, developing
> 	 prototypes, or when I simply feel like writing programs
> 	 that I know are OK but the type system somehow does not
> 	 share my view on the subject..."
> 
> Cheers,
> Kostis

No holy war here; that _exactly_ how I feel.

-Chris