языки программирования

[crypto5]

Порог вхождения = сложный язык. Если вошел, то "запутанный" синтаксис не должен быть проблемой.

Для запутаного синтаксиса нужно тратить больше тактов мозга на чтение чужого кода?

[M. Ridcully]

А примеры можно?

Пример - templates, которые фактически кодогенерация.

[crypto5]

А примеры можно?

Пример - templates, которые фактически кодогенерация.

А какая разница на высоком уровне абстракции что там под капотом?

[M. Ridcully]

А какая разница на высоком уровне абстракции что там под капотом?

Это не под капотом, а наоборот.
Эта самая кодогенерация позволяет кое что делать. Скажем, можно на Java написать parser generator, чтобы грамматика прямо на Java бы описывалась, без доп. стадии препроцесинга? На С++ можно: http://boost-spirit.com/home/.

Добавлю: фактически темплейты, это compile-time computing.

[Мальчик-Одуванчик]

Тот же С - низкоуровневый но не очень сложный язык с невысоким порогом вхождения.
Высокий порог вхождения в С++ безусловно определяется встроенной возможностью метапрограммирования (templates).

[crypto5]

А какая разница на высоком уровне абстракции что там под капотом?

Это не под капотом, а наоборот.
Эта самая кодогенерация позволяет кое что делать. Скажем, можно на Java написать parser generator, чтобы грамматика прямо на Java бы описывалась, без доп. стадии препроцесинга? На С++ можно: http://boost-spirit.com/home/.

Я не вижу принципиальной проблемы задавать граматики на джаве, просто из-за многословности джавы это легче делать на каком то DSL вроде antlr. В твоем примере думается ключевую роль играет перегрузка операторов а не шаблоны. И какая принципиальная разница происходят ли вычисления в compile time или в run-time?

[Мальчик-Одуванчик]

Собственно выше речь об описании грамматики DSL средствами С++ и ее обработке компилятором наравне с обычным кодом.

[Интеррапт]

А какая разница на высоком уровне абстракции что там под капотом?

Это не под капотом, а наоборот.
Эта самая кодогенерация позволяет кое что делать. Скажем, можно на Java написать parser generator, чтобы грамматика прямо на Java бы описывалась, без доп. стадии препроцесинга? На С++ можно: http://boost-spirit.com/home/.

Добавлю: фактически темплейты, это compile-time computing.

Кесарю кесарево. Как по мне гораздо удобней использовать тот же ANTLR под нормальным ANTLRWorks IDE (с визуализацией и т.п.), пусть и с препроцессингом.

[Мальчик-Одуванчик]

А как по мне шаблоны удобнее чтобы убрать лишний уровень косвенности, который раньше имплементировался через виртуальные методы

[M. Ridcully]

Кесарю кесарево. Как по мне гораздо удобней использовать тот же ANTLR под нормальным ANTLRWorks IDE (с визуализацией и т.п.), пусть и с препроцессингом.

Я с этим не спорю. Я даже соглашусь, что иногда they push template metaprogramming to the limit (or even beyond a reasonable limit).

Но факт остаётся фактом - такая возможность есть. Не хочешь - не используй.

Так что по-прежнему считаю, что код на C++ может быть не менее компактным (== не менее высокоуровневым), чем на Java.

[crypto5]

А как по мне шаблоны удобнее чтобы убрать лишний уровень косвенности, который раньше имплементировался через виртуальные методы

А можно опять же пример косвенности в которой виртуальные методы заменяются шаблонами?

[Medium-rare]

Шаблоны вместо виртуальных методов - это нововведение какое-то. Правда, ничего не слышал. Раньше не было. Кучу лекций уже по новому C++ 11 стандарту послушал, но не было такого, даже намёка. Надо будет Хербу Саттеру вопросик намылить...

[Мальчик-Одуванчик]

А как по мне шаблоны удобнее чтобы убрать лишний уровень косвенности, который раньше имплементировался через виртуальные методы

А можно опять же пример косвенности в которой виртуальные методы заменяются шаблонами?

Самый простой случай - сравните реализацию паттерна стратегия с помощью наследования и специализации.

[Мальчик-Одуванчик]

Шаблоны вместо виртуальных методов - это нововведение какое-то. Правда, ничего не слышал. Раньше не было. Кучу лекций уже по новому C++ 11 стандарту послушал, но не было такого, даже намёка. Надо будет Хербу Саттеру вопросик намылить...

Это как минимум десятилетней давности. И речь идет лишь о тех случаях когда это возможно применить на уровне компиляции.

[crypto5]

А как по мне шаблоны удобнее чтобы убрать лишний уровень косвенности, который раньше имплементировался через виртуальные методы

А можно опять же пример косвенности в которой виртуальные методы заменяются шаблонами?

Самый простой случай - сравните реализацию паттерна стратегия с помощью наследования и специализации.

А что такое специализация?