Mockingbird

Some languages don't really care about types and allow to write something like (define (w x) (x x)) or even worse stuff.
Are there any statically-typed languages that allow to mock the mockingbird?

>>7
One thing I am always concerned with is quality of Java code compared with
Perl, which runs rock solid, but isn't strictly typed.  While these days
Java crashes much less and developers do predominately good job handling
memory.. for a mission critical server, you'd hope they don't rely on
something heavily in a plugin which requires a lot of constant tweaking to
remain stable.