Вышел Rust 1.23

Сам я заинтересовался Rust лишь недавно, поэтому вполне может быть, что что-то понял и перевёл неправильно. Прошу более опытных растовщиков провести коррекцию.

Проверки типов операндов бинарных операторов теперь производится относительно левого операнда, что предотвращает путаницу в соответствующих сообщениях об ошибках.

Ну всё-таки проверка _подтипов_, если уж на то пошло. https://en.wikipedia.org/wiki/Subtyping

Я знаю, что такое подтипы. Просто я понял это изменение так, что компилятор смотрит на подтипы слева от оператора, когда проверяет соответствие типов. Вот маленький пример из их большого коммита:

-    //~^ ERROR binary operation `+` cannot be applied to type `&'static str`
+    //~^ ERROR binary operation `+` cannot be applied to type `&str`

Вообще говоря, да. Между временами жизни могут быть отношения подтипирования, и их даже можно выразить явно. https://stackoverflow.com/questions/25407632/struggling-with-the-subtyping-re...

Ты имел в виду, что 'static - это другое время жизни и поэтому &'static str - это подтип &str или наоборот? Даже если так, в приведённом отрывке коммита речь идёт о проверке типов. Именно поэтому я это так перевёл. А как бы перевёл ты?

Примерно как «rustc теперь учитывает подтипы при проверке согласованности типов у левого операнда бинарных операций.»

не нужно

Какаха.

Удалена необходимость в

писать на руский.

Тем временем на tiobe сабж снова свалился на 46-е место, так и до вылета из топ-50 недалеко. Какой то совсем квёлый хайп.

Хипсторы допивают ведро смузи, оставшееся после нового года, и плачут, плачут.

нужно,еще как, почему все хейтят rust?

Там R как-то странно взлетел. Может их перепутали?

Пора такое в мининовости паковать.

Думаю таки с версии Раст 2.0, уже можно будет начать тыкать палочкой сее творение, не опасаясь, что через неделю впилят какую-нибудь несовместимую шишню

нужно,еще как, почему все хейтят rust?

ну какбэ он не решил ни одной задачи перед ним поставленной, кроме подъема чсв адептов, хотя начал прям за здравие

Ты имел в виду, что 'static - это другое время жизни и поэтому &'static str - это подтип &str или наоборот?

https://cs4.pikabu.ru/images/big_size_comm/2015-01_1/1420468608718.png

Хотел потыкать раст, а потом узнал, что там нет исключений. Печаль. Разработчики собираются добавлять в будущем или можно не ждать? Я просто не слежу за языком и не в курсе планов.

почему все хейтят rust?

не все

Что-то ненавистники как-то уныло в комментариях выступили.
Ещё не отошли от Нового года?

исключения не нужны.

есть типы Option/Error — этого достаточно.

исключения не нужны.

Спорное утверждение. Я не согласен.

есть типы Option/Error — этого достаточно.

Они сами вверх по стеку вызовов поднимаются или их вручную нужно пробрасывать? Ведь одна из приятных особенностей исключений - это возможность обрабатывать ошибку не там, где она произошла, а там, где есть возможность адекватно и эффективно её обработать.

не собираются.

есть сахарок для Result (try!, ?), но он не такой сладкий, как исключения в питоне или в жаве, например

сначала приятно пробрасывать исключения вверх стеку, потом приятно перевыбрасывать исключения из обработчика исключений, потом приятно выбрасывать исключения из конструктора, а потом приятно долбиться в дымоход с таким же любителем приятных особенностей. следи за собой, будь осторожен.

Жаль. Для меня отсутствие исключений и не мейнстримнное ООП большие минусы.

Они сами вверх по стеку вызовов поднимаются или их вручную нужно пробрасывать?

по факту вручную. надо везде этот ? тыкать, что не так и сложно; плюс преобразовывать типы исключений, для чего, вроде, есть сильно облегчающий задачу крейт, напомните ктонить название плз

Крейт failure

приятно перевыбрасывать исключения из обработчика исключений

Иногда бывает нужно. Для уточнения или переупаковки, чтобы снаружи api не торчали ненужные детали.

приятно выбрасывать исключения из конструктора

Очень полезная штука. Постоянно использую.

потом приятно долбиться в дымоход с таким же любителем приятных особенностей. следи за собой, будь осторожен.

Нет. Exception тролли совсем измельчали.

https://github.com/withoutboats/failure

пример кода в ридми, спасибо реду за ссылку

enum ToolchainError - объявляем тип исключения

fn f(...) -> Result<T, ToolchainError> - указываем, что метод возвращает такое исключение (аналог жабовского throws)

open(path)?, key.parse()?, collect::<Result<Toolchains, ToolchainError>>()? - явный проброс исключений по стеку вызовов с помощью лишнего символа ?

Ведь одна из приятных особенностей исключений - это возможность обрабатывать ошибку не там, где она произошла, а там, где есть возможность адекватно и эффективно её обработать.

Это не особенность исключений. Коды возврата тоже дают возможность обрабатывать ошибку там, где надо. Особенность исключений - скрытие механизма их передачи.

Кроме того, некоторые исключения вроде «null object exception» эффективно и адектватно может обработать только программист, исправив баг в программе. На этот случай в Rust есть паники.

let mut string = String::new();
File::open(path)?.read_to_string(&mut string)?;

Т.е. если open обломался, то вопросик сам вызовет return error?
В таком случае это хороший сахарок.

Это не особенность исключений. Коды возврата тоже дают возможность обрабатывать ошибку там, где надо.

Но в случае исключений я не прилагаю усилий по передачи ошибки наверх. И возвращаемое значение не занято кодом ошибки. Это я про c++, в расте, как я вижу, есть механизм совместной передачи результата и ошибки.

Да. Но сигнатура функции, в которой это происходит должна отражать возможность возврата ошибки. Например

fn foo() -> Result<String, Box<Error>>

да

Я это и написал: исключения скрывают механизм своей передачи наверх. В этом есть и хорошие и плохие стороны.

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

А где срач?
Чтоб завтра утром было не меньше 3 страниц срача!

Эх, вот бы в динамическую линковку умел.

Так умеет

auto трейты

я так понял, auto - не кейворд. речь про #[derive()]?

Хипсторы раст и не должны любить.

Хипсторы любят всякое аджайл, чтоб сел и пишешь по вдохновению, а раст, он как будто для старпёров-учителей программирования придуман, тех, которые предлагают сначала ТЗ насквозь обговорить, потом на бумажке спроектировать, декомпозировать до самого низу и потом только первую строчку кода написать. В расте любое мелкое изменение, типа того, кто должен ресурс освободить или может ли функция вернуть ошибку, заставит менять прототип функции и, возможно, прототипы всех функций по стеку вызова и даже код, который эти функции вызывает. Это муторно и аджайлить мешает.

Разве? Дай пруфы, хочу попробовать.

Не, это про трейты, которые добавляет сам компилятор без подсказок. В описании говорится, что раньше можно было писать MyTrait + Send и/или +Sync, но теперь вот думают добавлять ещё подобных трейтов и заранее расточили под возможность добавлять их в объявление типа trait объекта.

любое мелкое изменение, типа того, кто должен ресурс освободить

да, да, а потом гоняем valgrind до посинения. хотя хипстеры без gc никак, тут ты прав

или может ли функция вернуть ошибку

а потом в лучшем случае крашим поток, в худшем запускаем космический спутник в океан

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

Нужна утилита которая возьмёт бинарь после всех llvm оптимизаций, найдет все места откуда может сработать паника и выдаст список файлов и строк используя debug инфу.

панику всегда можно обработать. а проигнорированная ошибка может быть незамечена до того момента, пока не станет поздно

Нужен ли раст микроконтроллерам?

защиту от мельдовна завезли в этот чудоязык?

защиту от мельдовна завезли в этот чудоязык?

А должны были?

Очевидно, нет. Но это же серебряная пуля от всех ошибок работы с памятью. Правда, тут нужно вставить куда-то слово «непреднамеренных»