Ну царь до сих пор не понимает того, что выбор между номинативными и структурными системами типов - это вопрос трейдоффов.
И на практике структурные системы типов о которых говорит царь - будут работать только при WPO и практически полном инлайне всего и вся, что достаточно экстремальная позиция для практически применимого ЯП, хоть я тоже сторонник похожих позиций, только по чуть другим причинам.
а почему проблемы с практикой будут? Долгая компиляция? Или, может, малое количество дебаг-информации с бинарников?
ну, скажем, сейчас, конечно, плюсы долго компилятся, но не так, чтобы... Это в основном темплейты тормозят. Но оптимизация действительно хорошая в итоге
ну, скажем, сейчас, конечно, плюсы долго компилятся, но не так, чтобы... Это в основном темплейты тормозят. Но оптимизация действительно хорошая в итоге
Так кресты очень мало кто прям с WPO компилит. И в гцц он всё равно вроде только на один модуль распространяется, насколько я знаю, но могу и ошибаться