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?

>>37
More like bow down to Java 8 when it's released.
Support for lambdas and closures.
Better get some shades, 'cause the future's bright.