Исходное сообщение
"В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..." Отправлено 0xd34df00d, 13-Июн-14 22:13
>> Чем [] (auto x, auto y) { return x + y; } >> сильно так сложнее (x, y) => x + y ? > Какое отношение имеют скобки, означающие массив, к лямбда-функциям? Эм, они вообще-то обозначают начало лямбды. Ну и какой массив обозначают скобки вида [x = std::move (y)] ? > Вывод типов предложили в 1969-м году. В С++ он не вставлен, по-видимому, > из-за обратной совместимости с нестрого типизированным C. Однако, C++ и так чуть более строго типизирован, чем C (например, void* к T* сходу не приведётся). Кроме того, вывод типов уровня auto и так уже есть, что-то вроде утиной типизации в темплейтах — тоже, а Хиндли-Милнера вы едва ли найдёте в хотя бы одном сиподобном языке. Хоть в джаве, хоть в C#, хотя им уж точно совместимость с C поддерживать не нужно. Впрочем, там всё равно не вывод типов, а шаблонный operator(), соответствующий структуре-функтору, генерирующейся по лямбде. > Тем не менее, выход за пределы тривиального случая преобразуется в ужас-ужас-ужас. В 100% случаев выходить не обязательно. Да, нетривиальное применение шаблонов может существенно сэкономить время и количество строк кода, но ведь мощные инструменты не обязаны быть простыми.