Python from Wise Guy's Viewpoint

[Pascal Costanza]

Andreas Rossberg wrote:

> Pascal Costanza wrote:
> 
>>>
>>> My copy,
>>>
>>>   http://research.microsoft.com/Users/luca/Papers/TypeSystems.A4.pdf
>>>
>>> on page 3 defines safety as orthogonal to typing in the way Matthias 
>>> suggested.
>>
>>
>> Yes, but it says dynamically typed vs statically typed where Matthias 
>> says untyped vs typed.
> 
> 
> Huh? On page 2 Cardelli defines typed vs. untyped. Table 1 on page 5 
> clearly identifies Lisp as an untyped (but safe) language. He also 
> speaks of statical vs. dynamical _checking_ wrt safety, but where do you 
> find a definition of dynamic typing?

Hmm, maybe I was wrong. I will need to check that again - it was some 
time ago that I have read the paper. Oh dear, I am getting old. ;)

Thanks for pointing this out.


Pascal