> эн подтянется хотя-бы просто за счет статической типизации и прочая :) вот привязался же к «статической типизации», а… да не даёт она мегавыигрыша в долгосрочке, не даёт. все нормальные JIT'ы сейчас способны собрать статистику и сгенерировать один/несколько вариантов кода функции для разных типов. а в простейших случаях и так выводят.
алсо: удачи тебе — с твоей типизацией — в универсальной реализации базовых алгоритмов. ну, например, qsort: правда ведь, няшный костыль получился?
впрочем, я понимаю: алгоритмы переписывать под новые типы нескучно. и разбираться в выхлопе шаблонизатора (который ещё и компилируется в час по чайной ложке) тоже: ведь не зря шаблоны — тюринг-полный функциональный язык, правда?