Size: a a a

2020 May 02

EG

Emmanuel Goldstein in rust_offtopic
Медленная длинная арифметика делу нифига не поможет
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Я не вижу соответствия между первым абзацем и всей остальной секцией. Кто-нибудь пояснит что этот закон на самом деле значит?
никогда не понимал этот закон. Как прочитал, с первого дня начал нарушать
источник

AZ

Alex Zhukovsky in rust_offtopic
источник

EG

Emmanuel Goldstein in rust_offtopic
Это ты к чему?
источник

EG

Emmanuel Goldstein in rust_offtopic
А, к нашему вчерашнему срачу
источник

EG

Emmanuel Goldstein in rust_offtopic
Ну, мой тезис остаётся прежним — система типов это отлично, но нужно соизмерять усилия на поддержание идеально правильной типизации с получаемым профитом.
источник

EG

Emmanuel Goldstein in rust_offtopic
Скажем, не пытаться сделать Haskell-стайл непустой список в Rust, а воспользоваться, если этот тип так нужен, тупо ньютайпом.
источник

EG

Emmanuel Goldstein in rust_offtopic
Для которого можно гарантировать валидность данных имплементацией TryFrom как единственного способа структуру создать
источник

EG

Emmanuel Goldstein in rust_offtopic
Вопрос: откуда в скоупе берутся примитивные типы?
Их нет в prelude.
В core::primitive они определены методом pub use usize;
источник

AZ

Alex Zhukovsky in rust_offtopic
Doge Shibu
В мутабельном ООП у тебя куча spooky action at a distance, которые совершенно не предсказуемо и может тебе отличную подлянку устроить
источник

AZ

Alex Zhukovsky in rust_offtopic
Emmanuel Goldstein
Ну, мой тезис остаётся прежним — система типов это отлично, но нужно соизмерять усилия на поддержание идеально правильной типизации с получаемым профитом.
с этим никто не спорит, бессмысленный перфекционизм никто вроде не пропагандирует
источник

p

polunin.ai in rust_offtopic
и в рантайме будет проверяться тип ev и в зависимости от этого выбираться метод?
источник

EG

Emmanuel Goldstein in rust_offtopic
В итоге получился вот такой синтаксис для parse_args. Меня немного смущает, что совершенно не читается, что @ означает «все остальные аргументы», но нет идеи, как это поправить
источник

EG

Emmanuel Goldstein in rust_offtopic
polunin.ai
и в рантайме будет проверяться тип ev и в зависимости от этого выбираться метод?
Да это ж демукс.
источник

EG

Emmanuel Goldstein in rust_offtopic
У меня демуксовые флешбеки.
источник

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Да это ж демукс.
только там не типы а варианты одного типа
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Угар
у меня и хуже было. В универе препод _требовал_ сделать иерархию: тетраэдр : треугольник : прямая : точка
источник

AZ

Alex Zhukovsky in rust_offtopic
правда емнип он потом просил написать почему это неудобно
источник

AZ

Alex Zhukovsky in rust_offtopic
но это не точно
источник

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
В итоге получился вот такой синтаксис для parse_args. Меня немного смущает, что совершенно не читается, что @ означает «все остальные аргументы», но нет идеи, как это поправить
ну @ норм, просто задокументируй перед макросом это
источник