TypeScriptでジェネリクス使っててちょっと複雑なことをしようとすると
とたんにしんどくなるのを体験して、型がない世界が羨ましいと思ったことはある。
(本末転倒感)

メタプログラミング部分を動的言語に任せてハイブリットにするというのが
ありかもしれない。

メタプログラミングツールの例
http://moapp.hateblo.jp/entry/2017/06/30/210636