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

From: jerzy.karczmarczuk at info.unicaen.fr (jerzy.karczmarczuk at info.unicaen.fr)
Date: Thu May 31 07:03:31 EDT 2007

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 

Posted on the users mailing list.