>> Эм, они вообще-то обозначают начало лямбды. Ну и какой массив обозначают скобки
>> вида [x = std::move (y)] ?
> О! Вот это и вопрос - глаз видит скобки, 25 лет означающие
> массив, а реально там что-то другое.

Я, конечно, не 25 лет пишу на плюсах, а всего лет 10, но глаз у меня видит начало лямбды.

>> а Хиндли-Милнера вы едва ли найдёте в хотя бы одном
>> сиподобном языке.
> Ну и что? Разве это хорошо?

Да. Не знаю, как у вас, а у меня плохо получается представить себе императивный язык с Х-М и в то же время сиподобной системой типов. Х-М без каких-нибудь там тайпклассов и тому подобного не очень-то и полезен, ИМХО.

Хотя, конечно, бывает, пишешь очередной костыль с type erasure на плюсах, например, и очень сильно жалеешь об отсутствии экзистенциальных типов. Но это такое.

>> но ведь мощные инструменты не
>> обязаны быть простыми.
> Чем проще, тем лучше при прочих равных. А С++ уже очень сложен.

И тут возвращаемся к тому, что в 100% случаев вся мощь темплейтов не обязательна.