Python from Wise Guy's Viewpoint

[Matthias Blume]

Pascal Costanza <costanza at web.de> writes:

> Matthias Blume wrote:
> 
> > PS: When I say "untyped" I mean it as in "the _untyped_ lambda
> > calculus".
> 
> What terms would you use to describe the difference between
> dynamically and weakly typed languages, then?
> 
> 
> For example, Smalltalk is clearly "more" typed than C is. Describing
> both as "untyped" seems a little bit unfair to me.

Safe and unsafe.

BTW, C is typed, Smalltalk is untyped.  C's type system just happens
to be unsound (in the sense that, as you observed, well-typed programs
can still be unsafe).

Matthias