Python from Wise Guy's Viewpoint

[Pascal Costanza]

Andreas Rossberg wrote:

>> Can you give me a reference to a paper, or some other literature, that 
>> defines the terminology that you use?
>>
>> I have tried to find a consistent set of terms for this topic, and 
>> have only found the paper "Type Systems" by Luca Cardelli 
>> (http://www.luca.demon.co.uk/Bibliography.htm#Type systems )
>>
>> He uses the terms of static vs. dynamic typing and strong vs. weak 
>> typing, and these are described as orthogonal classifications. I find 
>> this terminology very clear, consistent and useful. But I am open to a 
>> different terminology.
> 
> 
> 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.


Pascal

-- 
Pascal Costanza               University of Bonn
mailto:costanza at web.de        Institute of Computer Science III
http://www.pascalcostanza.de  Römerstr. 164, D-53117 Bonn (Germany)