静的言語と動的言語のハイブリッド言語

よく、マルチパラダイム言語って聞く。

これに

を加えたらどうだろうか？
まぁ自分が思いつくぐらいだから既に誰かが考えてるんだろうけど、
基本的に静的言語でコンパイラの型チェックがあるが、特定の部分
（例えば、特異メソッドとかダックタイピングしたい部分）に

@dynamic-type

みたいなアノテーションを付ける。
コンパイラがこの部分だけは型チェックしないとか。
その代わりにアサーションせよって警告だしてくれるみたいな。