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

On Wed, May 30, 2007 at 08:49:38PM -0400, Matthias Felleisen wrote:
> 
> On May 30, 2007, at 8:22 PM, hendrik at topoi.pooq.com wrote:
> 
> >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?

-- hendrik