[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

dynamic vs. static typing

On Nov 18, 2003, at 8:16 AM, Ken Shan wrote:
>> How does "id" let you set the target of the generic proxy?
> You can set the target using "const".

Ok, let's make sure we understand one another. As I understand types, 
in the context of pure OOP languages, the idea is to prevent "this 
object does not respond to this message" errors. This is done by static 
typing - putting labels on all the variables, arguments and return 
values that indicate the list of methods to which the object referenced 
or returned can respond to and doing a compile time check to ensure 
1. variables aren't sent messages which are not declared by their types
2. variables or arguments are not assigned to types which contain 
methods which their declared types do not contain

Does this sound reasonable so far?

-- Steve