静的型付けで
記述が簡潔で
オブジェクト指向が組み込みで
obj.method() の形式でメソッドが呼び出せて
ネイティブコンパイル出来て
出来れば型推論もあると嬉しいんだけど

そんな言語無いかな

動的型付け言語が安全だろうとなかろうと、使いたい言語が全部動的型付けだから困ったもんだ