Size: a a a

2020 April 03

AK

Alexander Krivitskiy in rust_offtopic
polunin.ai
Правда? Я тут задачку на группирование интов вбросил как-то, в итоге Хироллот в с++ что-то совсем не то разыменовал и получил функцию с сегфолтом 👍.
Чёт Хироллот совсем подводит.
источник

AZ

Alex Zhukovsky in rust_offtopic
Alexander Krivitskiy
Тотальные функции? Какая разница, будет у меня на инппут меньше 0 error в рекурсивной функции, или эксепшн хаскеля? А то что функция расходится как чекать? А то что свойства типа выполняются как чекать?

А санки взрывают память, если их вовремя не форсировать.
все ещё не вижу особых проблем
источник

AZ

Alex Zhukovsky in rust_offtopic
ну да, жизнь не райские кущи
источник

AZ

Alex Zhukovsky in rust_offtopic
но проблем с этим меньше
источник

AK

Alexander Krivitskiy in rust_offtopic
polunin.ai
Правда? Я тут задачку на группирование интов вбросил как-то, в итоге Хироллот в с++ что-то совсем не то разыменовал и получил функцию с сегфолтом 👍.
Ну и ты думаешь сегфолт это хуже? Так вот нет. От логических багов последствия не менее серьезные
источник

S

Soul in rust_offtopic
а можно как-то самому собрать кросс-тулчейны (которые из rustup target add)?
источник

r

red75prime in rust_offtopic
Soul
а можно как-то самому собрать кросс-тулчейны (которые из rustup target add)?
cargo build -Z build-std=core,alloc,std  --target=<TARGET>
источник

p

polunin.ai in rust_offtopic
Alexander Krivitskiy
Ну и ты думаешь сегфолт это хуже? Так вот нет. От логических багов последствия не менее серьезные
Ты думаешь если ошибка была допущена в идрисе, то в плюсах ее нельзя было бы допустить?
источник

S

Soul in rust_offtopic
red75prime
cargo build -Z build-std=core,alloc,std  --target=<TARGET>
а исходники где взять?
источник

p

polunin.ai in rust_offtopic
Soul
а исходники где взять?
На гитхабе
источник

S

Soul in rust_offtopic
Ну и в идеале какой-нибудь список сишных зависимотей, какой кросс-компилятор и откуда нужен
источник

r

red75prime in rust_offtopic
Soul
а исходники где взять?
rustup component add rust-src
источник

P

Pavel in rust_offtopic
polunin.ai
Ты думаешь если ошибка была допущена в идрисе, то в плюсах ее нельзя было бы допустить?
если она была допущена в идрисе, значит в идрисе слишком слабая система типов?
источник

p

polunin.ai in rust_offtopic
Pavel
если она была допущена в идрисе, значит в идрисе слишком слабая система типов?
Я тебе не буду отвечать
источник

P

Pavel in rust_offtopic
polunin.ai
Я тебе не буду отвечать
обещаешь?
источник

r

red75prime in rust_offtopic
red75prime
rustup component add rust-src
Кросскомпилятор указать в переменной окружения CC_<TARGET> или TARGET_CC, линкер в .cargo/config
источник

p

polunin.ai in rust_offtopic
red75prime
Кросскомпилятор указать в переменной окружения CC_<TARGET> или TARGET_CC, линкер в .cargo/config
Хех, а ты собирал что-ли? Интересно зачем это может пригодиться
источник

AK

Alexander Krivitskiy in rust_offtopic
polunin.ai
Ты думаешь если ошибка была допущена в идрисе, то в плюсах ее нельзя было бы допустить?
Нет... Как ты вообще додумался до того, что я такое думаю? Я говорил только то, что пока код пишет человек - баги будут. И никакая мощная система типов этому не воспрепятствуют. Откуда тут плюсы взялись?

Про то что мощная система типов позволяет сократить кол-во багов я не спорю. Только СОКРАТИТЬ, а не писать без багов.
источник

P

Pavel in rust_offtopic
polunin.ai
Хех, а ты собирал что-ли? Интересно зачем это может пригодиться
действительно, зачем же люди собирают проекты...
источник

r

red75prime in rust_offtopic
polunin.ai
Хех, а ты собирал что-ли? Интересно зачем это может пригодиться
Для платформ tier2 и ниже
источник