Size: a a a

2020 March 09

P

Pavel in rust_offtopic
Doge Shibu
Если он может доказать, что на этот объект никто не ссылается или что наоборот значение никем не меняется и его можно передавать ссылкой, то можно много чего веселого сделать
это для языка в вакууме, а как только добавляется FFI, то уже хочется прямого контроля
источник

DS

Doge Shibu in rust_offtopic
Pavel
это для языка в вакууме, а как только добавляется FFI, то уже хочется прямого контроля
Как только хочется быстрого и лёгкого FFI
источник

P

Pavel in rust_offtopic
Doge Shibu
Как только хочется быстрого и лёгкого FFI
достаточно такого, в работе которого ты уверен, с явным контррлем происходящего
источник

P

Pavel in rust_offtopic
а по ту сторону может быть сишная магия
источник

P

Pavel in rust_offtopic
и тебе надо взаимодействовать с сишной магией
источник

DS

Doge Shibu in rust_offtopic
Pavel
достаточно такого, в работе которого ты уверен, с явным контррлем происходящего
Имеется в виду, что можно считать, что все, что работает напрямую по FFI плохое и сильно оптимизировать его не надо
источник

P

Pavel in rust_offtopic
Doge Shibu
Имеется в виду, что можно считать, что все, что работает напрямую по FFI плохое и сильно оптимизировать его не надо
наоборот же, если надо поменять одно слово во внешнем мутабельном объекте, то надо выразить это через оптимизацию в иммутабельном языке
источник

DS

Doge Shibu in rust_offtopic
Pavel
наоборот же, если надо поменять одно слово во внешнем мутабельном объекте, то надо выразить это через оптимизацию в иммутабельном языке
А, ты про это, тут можно уже всякие монады, IO и т.п.
источник

P

Pavel in rust_offtopic
+ мутки с алайментом всякие и неидемпотентной записью и чтением
источник

P

Pavel in rust_offtopic
напрмер, читая по адресу ты меняешь там данные в некоторых случаях, если это не соптимизируется, то всё покатится к чертям
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
@psilon ты говорил что если можно без багов написать хеловорд, значит можно разбить сложную программу на много хеловордов и написать большую программу без багов, да?
йеп, для этого нужна гарантия, что если А написано правильно и Б написано правильно, то комбинация А и Б тоже правильная.

В этом и заключается, зачем нужна ссылочная прозрачность
источник

OA

Oleg Andreev in rust_offtopic
polunin.ai
@psilon ты говорил что если можно без багов написать хеловорд, значит можно разбить сложную программу на много хеловордов и написать большую программу без багов, да?
обычно хелловорлдов столько что само их комбинирование - не списочек, а нетривиальная программа. Это звучит красиво потому что слово "разбить" как бы предполагает что ты задизайнил и придумал как все вместе должно работать, и достаточно это "разбить" (отрефакторить). А сложность обычно как раз в том, чтоб изначально придумать из каких частей и как всю программу собрать.
источник

Т8

Т-34 85 in rust_offtopic
@oleganza а чем то, что прендлагает Swift отличается от"классического ООП" как Java, C#?
источник

Т8

Т-34 85 in rust_offtopic
там, типа, сделано "правильное ООП, как Кей задумывал"
источник

OA

Oleg Andreev in rust_offtopic
ну у него адт и трейты как в расте
источник

OA

Oleg Andreev in rust_offtopic
Т-34 85
там, типа, сделано "правильное ООП, как Кей задумывал"
это в обжси
источник

OA

Oleg Andreev in rust_offtopic
в свифте смишной микс обжси и джавного ооп
источник

Т8

Т-34 85 in rust_offtopic
Oleg Andreev
ну у него адт и трейты как в расте
миксины - это не трейты?
источник

OA

Oleg Andreev in rust_offtopic
«протоколы»
источник

Т8

Т-34 85 in rust_offtopic
Oleg Andreev
это в обжси
и как оно, нормально?
источник