NL
а ты понимаешь разницу между :: и .?
Да, вполне. Просто контекстной информации вполне достаточно для разрешения неоднозначности, нет?
Size: a a a
2020 September 15
NL
Просто четырёхточие прикольнее.
Может быть, но шумнее.
BV
Да, вполне. Просто контекстной информации вполне достаточно для разрешения неоднозначности, нет?
контекстно это позволяет не путать одно с другим
Э
Ну и да, как ты будешь делить между
let mut Arc = Arc.new(x);
let mut Arc = Arc.new(y);
BV
и да оно неоднозначно
BV
Ну и да, как ты будешь делить между
let mut Arc = Arc.new(x);
let mut Arc = Arc.new(y);
ахах, вот да)
Э
Второе
Arc.new — это метод арка или метод от Deref<T>?BV
нее, компилятор то смогёт
NL
Ну и да, как ты будешь делить между
let mut Arc = Arc.new(x);
let mut Arc = Arc.new(y);
Выдавать ошибку здесь.
BV
но вот человек нет
BV
Выдавать ошибку здесь.
там нет ошибки
(L
#вопрос
Вопрос: что было бы, если бы модули/субмодули в Rust тоже отделялись точками?
Ну типа
Почему в качестве разделителя выбрано два двоеточия
Вопрос: что было бы, если бы модули/субмодули в Rust тоже отделялись точками?
Ну типа
pub use crate.format.{BinaryBytes, DecimalBytes, FormattedDuration, HumanBytes, HumanDuration};
pub use crate.iter.{ProgressBarIter, ProgressIterator};
fn main() {
std.env.set_var("PROXY_HOST", "localhost");
let xs = Vec.new();
}Почему в качестве разделителя выбрано два двоеточия
::? Где возникла бы неразличимая неоднозначность парсинга?https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=a2107838ccc866822f47af9a90b9a8f1
UPD: наверное нужно пояснение — если бы разделителем везде была точка, этот код бы скомпилировался, не показав пользователю, что тот вызывает не то что хотел.
UPD: наверное нужно пояснение — если бы разделителем везде была точка, этот код бы скомпилировался, не показав пользователю, что тот вызывает не то что хотел.
Э
Выдавать ошибку здесь.
Найс позиция. Вместо нормального синтаксиса ошибками раскидываться.
Э
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=a2107838ccc866822f47af9a90b9a8f1
UPD: наверное нужно пояснение — если бы разделителем везде была точка, этот код бы скомпилировался, не показав пользователю, что тот вызывает не то что хотел.
UPD: наверное нужно пояснение — если бы разделителем везде была точка, этот код бы скомпилировался, не показав пользователю, что тот вызывает не то что хотел.
Не скомпилится, там же ты от value делаешь, а надо от типа.
(L
Не скомпилится, там же ты от value делаешь, а надо от типа.
Именно
NL
Найс позиция. Вместо нормального синтаксиса ошибками раскидываться.
Смотри: джава, скала, котлин, хаскель, питон могут использовать точку в разных контекстах, в чём проблема?
(L
А с точкой скомпилится и у тебя будет баг
RA
Второе
Arc.new — это метод арка или метод от Deref<T>?Например, переменная могла бы shadow-ить тип/модуль с таким же именем. Поведение не хуже, чем shadowing переменных сейчас.
NL
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=a2107838ccc866822f47af9a90b9a8f1
UPD: наверное нужно пояснение — если бы разделителем везде была точка, этот код бы скомпилировался, не показав пользователю, что тот вызывает не то что хотел.
UPD: наверное нужно пояснение — если бы разделителем везде была точка, этот код бы скомпилировался, не показав пользователю, что тот вызывает не то что хотел.
О, это интересный кейс, спасибо.
Э
Смотри: джава, скала, котлин, хаскель, питон могут использовать точку в разных контекстах, в чём проблема?
Тебе уже сказали два раза, что надо как-то различать методы deref'а и методы типов.