[plt-scheme] Why do folks implement *dynamically* typed languages?

hendrik at topoi.pooq.com continues: 

...
>> >There's no
>> >reason not to have a type that describes a variable that can have any
>> >value whatsoever, together with run-time type information, together  
>> >with
>> >the suite of operations you need to make it useful.  The thing to know
>> >is that an _int_ value many be a very different thing from an _any_
>> >value that happens to be an integer. 
>> 
>> 
>> Do you mean type Dynamic? -- Matthias 
>> 
> 
> I suppose it could be called that.  DO you know languages that actually 
> do this?

Actually any language in which you write a decent type-checking
COMPILER. After all, while *compiling* a program what is the
meaning of an integer variable? It has plenty of attributes, but
not the value, which will be assigned at run-time... 

Jerzy Karczmarczuk