Все привет!

Может ли в .Net CLR или JVM (т.е. в рантаймах рассчитанных на номинативную систему типов) жить язык со структурной типизацией?

И если может, насколько при этом такой язык будет "своим" в этих рантаймах? И чем придется платить за совместимость (подозреваю, что производительностью)?

Вкусности которые дает структурная система типов подкупают. Скажем в гуглевом Go почти нет ничего интересного за исключением структурной типизации (возможности привести любой объект реализующий методы интерфейса к этому интерфейсу). Но я не вижу как реализовать их в рамках, скажем, CLR.