Python from Wise Guy's Viewpoint

[Pascal Costanza]

Andrew Dalke wrote:

> Pascal Costanza:
> 
>>...because static type systems work by reducing the expressive power of
>>a language. It can't be any different for a strict static type system.
>>You can't solve the halting problem in a general-purpose language.
>>
>>This means that eventually you might need to work around language
>>restrictions, and this introduces new potential sources for bugs.
> 
> 
> Given what I know of embedded systems, I can effectively
> guarantee you that all the code on the rocket was proven
> to halt in not only a finite amount of time but a fixed amount of
> time.

Yes, this is a useful restriction for a certian scenario. I don't have 
anything against restrictions put on code, provided these restrictions 
are justified.

Static type systems are claimed to generally improve your code. I don't 
see that.


Pascal