Size: a a a

Rust — русскоговорящее сообществo

2020 August 13

T1

Tony 123 in Rust — русскоговорящее сообществo
google contravariance
источник

Ct

Casual tears in Rust — русскоговорящее сообществo
Эрик
'a: 'b — 'a тут меньший, не?
Нет, больший. Он >= 'b, "включает в себя 'b".
источник

T1

Tony 123 in Rust — русскоговорящее сообществo
и наоборот, для того кто бороу делает это как раз sound
источник

T1

Tony 123 in Rust — русскоговорящее сообществo
есть вещи когда это sound
источник

Ct

Casual tears in Rust — русскоговорящее сообществo
Tony 123
есть вещи когда это sound
Тут согласен. Для таких кейсов есть unsafe и mem::transmute
источник

T1

Tony 123 in Rust — русскоговорящее сообществo
Casual tears
Тут согласен. Для таких кейсов есть unsafe и mem::transmute
причём тут они, это на уровне системы типов сделано
источник

AZ

Alex Zhukovsky in Rust — русскоговорящее сообществo
Tony 123
причём тут они, это на уровне системы типов сделано
ты просто сделал ерунду и тебе это объяснили. То что можно ногострельным трансмутом всем доказать кто тут прав - это конечно да, тока с таким настроем лучше ан плюсцах пиши, там злой борровчеакер не помешает гениальным замыслам
источник

DT

Dim Turov in Rust — русскоговорящее сообществo
👍
источник

T1

Tony 123 in Rust — русскоговорящее сообществo
Alex Zhukovsky
ты просто сделал ерунду и тебе это объяснили. То что можно ногострельным трансмутом всем доказать кто тут прав - это конечно да, тока с таким настроем лучше ан плюсцах пиши, там злой борровчеакер не помешает гениальным замыслам
что ты несёшь вообще, каким и кому я доказывал что, ты вообще видишь о чем мы говорили
источник

R

Roman in Rust — русскоговорящее сообществo
Но погодите. В расте же есть ковариантность и контравариантность типов
источник

R

Roman in Rust — русскоговорящее сообществo
Foo<'a> может коерситься в Foo<'b> если 'a: 'b и все поля Foo ковариантны лайфтайму
источник

R

Roman in Rust — русскоговорящее сообществo
И тогда же fn(Foo<`b>) коерсится в fn(Foo<'a>)
источник

R

Roman in Rust — русскоговорящее сообществo
источник

BV

Boris Vinogradov in Rust — русскоговорящее сообществo
“Much” of the Rust/Wasmtime team hit by layoffs at Mozilla (🔥 Score: 106+ in 1 hour)

Link: https://readhacker.news/s/4tuVD
Comments: https://readhacker.news/c/4tuVD
источник

A

Apachee in Rust — русскоговорящее сообществo
Apachee
я где-то слышал, что компилятор может менять операции местами, где это не важно, но может ли компилятор поменять местами операции в этом коде? (интересуют строки чтения данных из файла)
мне в этом чате сказали, что тут все ок, но clippy дает ворнинг "unsequenced read of a variable", так что в таких случаях полагаться на порядок полей нельзя, иначе будет UB (у меня код работает правильно, но это в любой момент может измениться)
источник

IB

Ivan Boldyrev in Rust — русскоговорящее сообществo
Apachee
мне в этом чате сказали, что тут все ок, но clippy дает ворнинг "unsequenced read of a variable", так что в таких случаях полагаться на порядок полей нельзя, иначе будет UB (у меня код работает правильно, но это в любой момент может измениться)
Ничего лучше пока не нагуглил: https://stackoverflow.com/a/62001313/2177109
источник

IB

Ivan Boldyrev in Rust — русскоговорящее сообществo
источник

IB

Ivan Boldyrev in Rust — русскоговорящее сообществo
В clippy тоже бывают баги :)
источник

AD

Andrew Demonov in Rust — русскоговорящее сообществo
Agrailag
Что за вброс, Нико написал, что он работает дальше. Другого парня из кортимы уволили.

То есть уволили явно не всех
Это я потом уже прочитал. А сообщение бобука случайно увидел
источник

AD

Andrew Demonov in Rust — русскоговорящее сообществo
Ну и кстати всё равно не до конца понятно - как «работает дальше» - в мозилла фаундейшен или в самой мозилле
источник