В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

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

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

371 membersпожаловаться на группу
2020 April 03

p

polunin.ai in rust_offtopic
Soul
по большому счету это всё assert входных и выходных данных. Да , это можно запихнуть в сигнатуру типа, и WeirdRange или что-то на его основе могут с этим справиться, если есть такое желание
Только то что ты предложил это неудобно из-за бойлерплейта
источник
13:16пожаловаться#1

S

Soul in rust_offtopic
Несмотря на возможность допилить язык так, чтобы в сигнатуре типов можно было писать всякую функциональщину, тебе не нравится что этого изначально нет в языке, а допиливание ты называешь бойлерплейтом
источник
13:18пожаловаться#2

B

Bogdan in rust_offtopic
2_5201844276136248858.MP4
(3.47 Мб)
источник
13:21пожаловаться#3

S

Soul in rust_offtopic
polunin.ai
where { i>=0, i<10: out.a[i] != ins.a[i] }
да, пользоваться аргументами функции в описании типа возвращаемого значения нельзя, придется (о ужас) делать проверку в теле функции
источник
13:21пожаловаться#4

p

polunin.ai in rust_offtopic
Soul
Несмотря на возможность допилить язык так, чтобы в сигнатуре типов можно было писать всякую функциональщину, тебе не нравится что этого изначально нет в языке, а допиливание ты называешь бойлерплейтом
Если бы я писал на зиге, я бы так не писал
источник
13:21пожаловаться#5

B

Bogdan in rust_offtopic
Bogdan
2_5201844276136248858.MP4
(3.47 Мб)
импровизированая повязка
источник
13:21пожаловаться#6

p

polunin.ai in rust_offtopic
1. Тут все проверки в рантайме.
2. Нужно думать как это писать.
источник
13:21пожаловаться#7

p

polunin.ai in rust_offtopic
3. Так как проверки в рантайме, то и эксепшены в рантайме могут быть. На этапе компиляции ничего не проверяется.
источник
13:22пожаловаться#8

p

polunin.ai in rust_offtopic
То есть это не работает просто
источник
13:22пожаловаться#9

S

Soul in rust_offtopic
polunin.ai
Если бы я писал на зиге, я бы так не писал
ну генерики через compiletime-выражения там есть даже в стандартной библиотеке, а тип WeirdRange ты сам поставил как условие, естественно в жизни таким в нефункциональных языках не пользуются
источник
13:22пожаловаться#10

S

Soul in rust_offtopic
polunin.ai
1. Тут все проверки в рантайме.
2. Нужно думать как это писать.
не бывает проверок не-в-рантайме для данных, которые ты получаешь в рантайме
источник
13:23пожаловаться#11

p

polunin.ai in rust_offtopic
Это не имеет отношение к функциональности языка
источник
13:23пожаловаться#12

p

polunin.ai in rust_offtopic
Это можно и в императивном сделать
источник
13:23пожаловаться#13

S

Soul in rust_offtopic
я тебе показал как это сделать, ты сказал что в императивных таким не пользуются
источник
13:23пожаловаться#14

p

polunin.ai in rust_offtopic
Soul
не бывает проверок не-в-рантайме для данных, которые ты получаешь в рантайме
Ты получаешь от пользователя одно значение, а потом в программе делаешь 1000 операций
источник
13:24пожаловаться#15

p

polunin.ai in rust_offtopic
Тебе достаточно проверить в рантайме только значение пользователя
источник
13:24пожаловаться#16

S

Soul in rust_offtopic
я делаю тот же if, который ты описывал, и ничего больше
источник
13:24пожаловаться#17

p

polunin.ai in rust_offtopic
Не понял
источник
13:25пожаловаться#18

S

Soul in rust_offtopic
всё, я сдулся и молчу
источник
13:25пожаловаться#19

r

red75prime in rust_offtopic
Soul
не бывает проверок не-в-рантайме для данных, которые ты получаешь в рантайме
В рантайме конвертируем String в Option<RestrictedRange> или что-то вроде этого, а дальше всё типизированно
источник
13:25пожаловаться#20