Телеграмм чат группы rustlang

На Rust тоже многое можно сделать, та же бумага про сессионные типы, крейты про вычисления на уровне типов и т.д. То есть Rust - это уже такая грань, где тестовое покрытие перестаёт работать

источник

00:45пожаловаться #6

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

Gymmasssorla

Можно, но у тебя время компиляции улетит в небеса

источник

00:46пожаловаться #7

polunin.ai in Rust — русскоговорящее сообществo

Emmanuel Goldstein

Можно, но у тебя время компиляции улетит в небеса

Нет

источник

00:46пожаловаться #8

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

На плюсах тоже можно, у них Тьюринг-полные темплейты

источник

00:46пожаловаться #9

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

Emmanuel Goldstein

Можно, но у тебя время компиляции улетит в небеса

Я предпочитаю машине перекладывать ответственность )

источник

00:46пожаловаться #10

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

На написание _хороших_ тестов всё равно больше времени уйдёт

источник

00:47пожаловаться #11

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

Ну и я, например, не могу тривиально выразить в системе типов, что length == 0 только в том случае, когда node == None

источник

00:47пожаловаться #12

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

Emmanuel Goldstein

Ну и я, например, не могу тривиально выразить в системе типов, что length == 0 только в том случае, когда node == None

Сделать два новых типа?

источник

00:48пожаловаться #13

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

Gymmasssorla

Сделать два новых типа?

И энум-обёртку, ага.
Юзабилити будет отвратным, правда, и скорость тоже просядет

источник

00:49пожаловаться #14

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

Emmanuel Goldstein

И энум-обёртку, ага.
Юзабилити будет отвратным, правда, и скорость тоже просядет

Можно и сделать неявные конвертации Into/From, это уже от твоего случая зависит

источник

00:49пожаловаться #15

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

🤔 пакет 3-летней давности не собирается свежим компилятором. это в порядке вещей, или так не должно быть?

конкретно речь о пакете url = "1.6.0" https://crates.io/crates/url/1.6.0 October 31, 2017

и компиляторе rustc 1.42.0 (b8cedc004 2020-03-09)

источник

00:57пожаловаться #16

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

dark pit

В порядке вещей, т.к. выпуск старый

источник

00:57пожаловаться #17

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

Наверное, это фикс баги компилятора

источник

00:57пожаловаться #18

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