Здравствуйте, rg45, Вы писали:

R>А теперь, легким движением руки, переходим от динамического полиморфизма к статическому (угу, с концептами):

R>http://coliru.stacked-crooked.com/a/b0b32792bb074572

Я так понимаю для TS нужна именно виртуальность. Чтобы была возможность определить impl класс в run-time