Исходное сообщение
"Выпуск языка программирования Rust 1.3, развиваемого проекто..." Отправлено burjui, 18-Сен-15 13:25
Это хорошо, что они развивают язык, но не рановато ли они его зарелизили? Решил как-то изучить Rust на задаче, уже решённой мной несколько раз на C, C++ и D - написании парсера выдуманного мной игрушечного ЯП. Язык показался достаточно приятным для системного, но borrow checker просто вынес мозг при написании парсера. Сначала я думал, что это я тупой и не вкурил в работу механизма заимствования, побежал читать доки, блоги и whatnot. Выяснилось, что всё я понял правильно, просто компилятор умеет определять только лексические области заимствования. То есть следующий код: fn parseExpr(&mut self) -> ParseResult {     match self.lexer.read() {         Some(token) => CompileError::new(&token.location, "parseExpr(): not implemented"),         None => CompileError::new(&self.location(), "parseExpr(): not implemented")     } } Не компилится: error: cannot borrow `*self` as immutable because `self.lexer` is also borrowed as mutable   None => CompileError::new(&self.location(), "parseExpr(): not implemented") Компилятор считает, что self.lexer заимствован в ветке None, хотя очевидно, что заимствование должно завершиться в самом её начале, т.к. заимствованная ссылка не используется. Но компилятору пофиг. И разработчикам пофиг, потому что у RFC по этой проблеме - https://github.com/rust-lang/rfcs/issues/811 - стоит статус "отложено" (postponed). Они не считают это достаточно серьёзной проблемой, чтобы решать её до первого релиза, и хотят отложить это до Rust 2.0, хотя именно borrow checker доставляет больше всего проблем новичками-растоманам. В общем, текущая реализация компилятора для меня сводит на нет всё удовольствие от изучения Rust. Подожду 2.0, чтобы не портить впечатление.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Это хорошо, что они развивают язык, но не рановато ли они его > зарелизили? Решил как-то изучить Rust на задаче, уже решённой мной несколько > раз на C, C++ и D - написании парсера выдуманного мной > игрушечного ЯП. Язык показался достаточно приятным для системного, но borrow checker > просто вынес мозг при написании парсера. Сначала я думал, что это > я тупой и не вкурил в работу механизма заимствования, побежал читать > доки, блоги и whatnot. Выяснилось, что всё я понял правильно, просто > компилятор умеет определять только лексические области заимствования. То есть следующий > код: > fn parseExpr(&mut self) -> ParseResult { > match self.lexer.read() { > Some(token) => CompileError::new(&token.location, "parseExpr(): > not implemented"), > None => CompileError::new(&self.location(), "parseExpr(): > not implemented") > } > } > Не компилится: > error: cannot borrow `*self` as immutable because `self.lexer` is also borrowed as > mutable > None => CompileError::new(&self.location(), "parseExpr(): not implemented") > Компилятор считает, что self.lexer заимствован в ветке None, хотя очевидно, что заимствование > должно завершиться в самом её начале, т.к. заимствованная ссылка не используется. > Но компилятору пофиг. > И разработчикам пофиг, потому что у RFC по этой проблеме - https://github.com/rust-lang/rfcs/issues/811 > - стоит статус "отложено" (postponed). Они не считают это достаточно серьёзной > проблемой, чтобы решать её до первого релиза, и хотят отложить это > до Rust 2.0, хотя именно borrow checker доставляет больше всего проблем > новичками-растоманам. > В общем, текущая реализация компилятора для меня сводит на нет всё удовольствие > от изучения Rust. Подожду 2.0, чтобы не портить впечатление.
	Введите код, изображенный на картинке: