>>570
Scalaがそう。

静的言語で、簡潔に書けることを
証明した言語。