Телеграмм чат группы rust_offtopic страница 25076

Я, конечно, вероятно, видел большой процент интересных мне реп, но зачем мне показывать то, что я уже смотрел?
У меня даже JS для гитхаба не отключён, может наблюдать сколько хочет.

источник

16:05пожаловаться #8

Т8

Т-34 85 in rust_offtopic

Ребята. А чего такого прикольного можно на хорошей системе типов достичь? В Rust есть борроу чекер, но лично я без него не страдаю. Да и в принципе с памятью особых проблем нет. А вот чонить по формальной верификации было бы неплохо получить. Типа, перенести проверку контрактов из рантайма

источник

16:32пожаловаться #9

suhr in rust_offtopic

Глянь liquid haskell.

источник

16:35пожаловаться #10

Т8

Т-34 85 in rust_offtopic

Построить свои типы с допустимыми значениями, сделать возможным работу с объектов во времени компиляции - это Си++ может. Но что ещё бывает эдакого. Завтипы, наверное, требуют огромного количества церемоний, а профита мало? Особенно, когда взаимодействуем с пользовательским вводом

источник

16:36пожаловаться #11

Т8

Т-34 85 in rust_offtopic

Окей, спс

источник

16:36пожаловаться #12

ИЛ

Иван Лещенко... in rust_offtopic

При работе с вводом юзера на каждый чих пихаю отдельную структуру, генерируемую макросом

источник

16:36пожаловаться #13

Т8

Т-34 85 in rust_offtopic

Уточнённые типы? А чем это лучше своего класса с ограничивающими сеттерами?

В C++ я просто наследуюсь или врапплю подходящий тип и вешаю сеттеры с проверками границ (желательно и в компайл тайме)

источник

16:42пожаловаться #14

suhr in rust_offtopic

Тем, что это не ассерты.

источник

16:43пожаловаться #15

suhr in rust_offtopic

А штука, схожая с зависимыми типами, только с SMT решателем.

источник

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

Т8

Т-34 85 in rust_offtopic