Здравствуйте, Евгений Музыченко, Вы писали:

ЕМ>Тем более, что эти costs вовсе не ожидаются неизбежно высокими.
Ну, мы-то можем только рассуждать. А парни в Dart потратили несколько лет на эксперименты. Если они видят, что компиляция выезжает дорогая — значит, для них так и есть.
Хотя С++ практически целенаправленно организован так, что в нём невозможно сделать эффективную компиляцию.
Я, конечно, не претендую на способность до конца моей жизни родить реализацию настоящего С++ компилятора, я про его трудности знаю скорее понаслышке.
(Кстати, ваше упоминание про способность навелосипедить аналог Borland C++ 3.0, скорее продиктовано недостатком квалификации, чем её избытком. Даже ранние версии языка были заботливо спроектированы так, чтобы порог входа в комьюнити осиливших компилятор был запретительно высоким)

Но всякие SFINAE выглядят как неизбегаемые грабли, заложенные с самого начала.