> OTOH, static typing could make writing some kinds of programs impossible. Often, these turn out to be incorrect programs or programs without a good structure

> OTOH, static typing could make writing some kinds of programs impossible. Often, these turn out to be incorrect programs or programs without a good structure/architecture. It is my experience that static typing makes it slightly harder to write the first version of a program, but subsequent alterations become an order of magnitude easier. For me, this is worth it, since alteration and maintenance are the largest part of most program's life cycles.