Исходное сообщение
"В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..." Отправлено 0xd34df00d, 13-Июн-14 22:21
>> Эм, они вообще-то обозначают начало лямбды. Ну и какой массив обозначают скобки >> вида [x = std::move (y)] ? > О! Вот это и вопрос - глаз видит скобки, 25 лет означающие > массив, а реально там что-то другое. Я, конечно, не 25 лет пишу на плюсах, а всего лет 10, но глаз у меня видит начало лямбды. >> а Хиндли-Милнера вы едва ли найдёте в хотя бы одном >> сиподобном языке. > Ну и что? Разве это хорошо? Да. Не знаю, как у вас, а у меня плохо получается представить себе императивный язык с Х-М и в то же время сиподобной системой типов. Х-М без каких-нибудь там тайпклассов и тому подобного не очень-то и полезен, ИМХО. Хотя, конечно, бывает, пишешь очередной костыль с type erasure на плюсах, например, и очень сильно жалеешь об отсутствии экзистенциальных типов. Но это такое. >> но ведь мощные инструменты не >> обязаны быть простыми. > Чем проще, тем лучше при прочих равных. А С++ уже очень сложен. И тут возвращаемся к тому, что в 100% случаев вся мощь темплейтов не обязательна.