From: Pixel <pixel@...>
Date: 2001-12-12T06:54:03+09:00
Subject: [ruby-talk:28275] Re: The benefits of dynamic typing?

Gareth.McCaughan@pobox.com (Gareth McCaughan) writes:

[...]

> > it doesn't seem unreasonable that a language should support both
> > static and dynamic typing.  then, if i knew at compile time what the
> > types would be, i could tell the compiler, and i could possibly
> > expose some problems at compile time.  but if i didn't know the
> > types at compile time, that would be okay too.
> 
> Take a look at Common Lisp, or Dylan. They have exactly
> that feature. Good compilers for CL and Dylan do sophisticated
> type inference, so that you don't have to declare all the
> types you know in order to get good compile-time checking

any links showing what is achieved in those languages? (for the checking, not
the efficiency)