Исходное сообщение
"В Firefox 22 появится Asm.js, низкоуровневое высокопроизводи..." Отправлено Crazy Alex, 24-Мрт-13 21:44
Пишешь алгоритм в шаблонной функции - и всё. При компиляции будет подставлен нужный тип и проведена статическая проверка. Duck-typing на этапе компиляции. Ну и да, динамический полиморфизм пихать только туда, где он нужен (это, кстати, не так уж часто). Хотя даже для него если наследование писали не анусом то класс-наследник сохраняет все гарантии предка. Что в том же D при желании проверяется контрактами (которые, кстати, круто дополняют юнит-тесты). При всём уважении - ты правда не в курсе, как пишется код на современных статически типизированных языках.