Python from Wise Guy's Viewpoint

[Andreas Rossberg]

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?

	- Andreas

-- 
Andreas Rossberg, rossberg at ps.uni-sb.de

"Computer games don't affect kids; I mean if Pac Man affected us
  as kids, we would all be running around in darkened rooms, munching
  magic pills, and listening to repetitive electronic music."
  - Kristian Wilson, Nintendo Inc.