Size: a a a

2020 April 03

AZ

Alex Zhukovsky in rust_offtopic
Soul
Ну так я и сделал проверку ифом, а дальше в логике у меня тип WeirdRange(7,9)
нет, WirdRange(7,9) это не тип, это значение
источник

S

Soul in rust_offtopic
Alex Zhukovsky
нет, WirdRange(7,9) это не тип, это значение
это тип struct { data: i32 } со значением от 7 до 9
источник

p

polunin.ai in rust_offtopic
Soul
всё, я сдулся и молчу
Например у тебя есть программа в которую пользователь вводит буквы. Потом эти буквы должны по сети отправиться Васе из другого города. Тут даже ничего валидировать от пользователя не нужно, просто нужно байты переслать. Ты выстраивает цепочку программы так, чтобы компилятор мог проверить что ты действительно отправляешь запрос на адрес Васи, с текстом сообщения который передал тебе юзер.
источник

AZ

Alex Zhukovsky in rust_offtopic
Soul
это тип struct { data: i32 } со значением от 7 до 9
ну вот
источник

AZ

Alex Zhukovsky in rust_offtopic
а с рефтипами это WeirdRange<7,9>
источник

AZ

Alex Zhukovsky in rust_offtopic
понимаешь разницу?
источник

p

polunin.ai in rust_offtopic
И если компилятор увидит что ты забыл где-то очистить буфер перед отправкой сообщения, он тебе скажет на этапе компиляции об этом
источник

S

Soul in rust_offtopic
Alex Zhukovsky
понимаешь разницу?
разницы нет, WeirdRange(7,9) -это генерик, создаваемый во время компиляции
источник

AZ

Alex Zhukovsky in rust_offtopic
Soul
разницы нет, WeirdRange(7,9) -это генерик, создаваемый во время компиляции
ок, давай переформулирую. Какая сигнатура функции, которая принимает число от 7 до 9?
источник

S

Soul in rust_offtopic
new (i32) WeirdRange(A, B)
источник

r

red75prime in rust_offtopic
polunin.ai
И если компилятор увидит что ты забыл где-то очистить буфер перед отправкой сообщения, он тебе скажет на этапе компиляции об этом
Скорее ты будешь доказывать компилятору, что очистил буфер.
источник

AZ

Alex Zhukovsky in rust_offtopic
Soul
new (i32) WeirdRange(A, B)
я не знаю такого синтаксиса
источник

AZ

Alex Zhukovsky in rust_offtopic
напиши на расте
источник

p

polunin.ai in rust_offtopic
red75prime
Скорее ты будешь доказывать компилятору, что очистил буфер.
Ну ты доказываешь компилятору каждый шаг
источник

AZ

Alex Zhukovsky in rust_offtopic
fn foo(x: ???)
источник

S

Soul in rust_offtopic
fn new<WeirdRange<7,9>> (a: i32) -> Self
источник

AZ

Alex Zhukovsky in rust_offtopic
Soul
fn new<WeirdRange<7,9>> (a: i32) -> Self
ну ты кривенько написал, но ладно
источник

AZ

Alex Zhukovsky in rust_offtopic
так будет работать
источник

AZ

Alex Zhukovsky in rust_offtopic
но даже чтобы это работало нужны конст-генерики, которых нет
источник

S

Soul in rust_offtopic
так в Zig есть
источник