Static typing in py [was Re: Some notes]

[gabriele renzi]

Ville Vainio ha scritto:




>     Josiah> Keep wishing, but unless you implement it, I wouldn't get
>     Josiah> my hopes up.
> 
> Implementation can be trivial - the interpreter could just assert
> isinstance when check_type_declarations is true. The harder part is
> coming up with all the semantics.

On a related note: What is supposed to be a type in python?
Is it a class? is it an interface? is it an implementation detail? is it 
an algebraish definition?
I'd like to know what is the current 'mainstream' way of thinking about it.