Size: a a a

2020 March 23

СД

Стас Донцов... in rust_offtopic
и еще эти потоки сцеплять правильно: т.е. какая-то черная дыра куда все падает без разбора и оно там само выстраивается в последовательность, например по времени
источник

OA

Oleg Andreev in rust_offtopic
к секции "смотрите какая копипаста в сишарпе и расте" не хватает секции "почему монады так сложно влепить в сишарп или раст". А то звучит как "посмотрите какие глупыши", хотя про хаскел, наверное, девелоперы языков знают давно и много
источник

p

polunin.ai in rust_offtopic
в расте нельзя делать where T: U<Y>
источник

OA

Oleg Andreev in rust_offtopic
polunin.ai
в расте нельзя делать where T: U<Y>
это не совсем ответ на вопрос. Вопрос, конечно же, "в чем фундаментальная трудность с T: <>"
источник

OA

Oleg Andreev in rust_offtopic
и какие трейдоффы хаскель делает для этого, и почему они не годятся для сишарпа и раста
источник

p

polunin.ai in rust_offtopic
Oleg Andreev
это не совсем ответ на вопрос. Вопрос, конечно же, "в чем фундаментальная трудность с T: <>"
потому что глупыши пилят асинк
источник

p

polunin.ai in rust_offtopic
вместо этого
источник

p

polunin.ai in rust_offtopic
подпирают костылями то что есть
источник

λ

λоλторт in rust_offtopic
Oleg Andreev
к секции "смотрите какая копипаста в сишарпе и расте" не хватает секции "почему монады так сложно влепить в сишарп или раст". А то звучит как "посмотрите какие глупыши", хотя про хаскел, наверное, девелоперы языков знают давно и много
Telegram
Так говорил Клапауций
в дотнете без hkt в принципе контейнерную библиотеку нормально не сделать

вернее нормально с точки зрения более позднего фп подхода.

пока фп претензий не было, не-хкт иерархией интерфейсов вполне можно было пользоваться меняя что-то на месте. т.е. мы через интерфейс ICollection или IList что-то теребим в коллекции, а ссылка -то вот она, того же типа осталась.
потом начались линкострадания и сишарп сразу уперся в ограничения дженериков, потому что теперь то надо результат возвращать. а линковые функции в основном возвращают IEnumerable, стирая статическую информацию о типе коллекции.

ее только динамически можно попробовать кастануть, что внутри линк-ту-обджектс методов обычно и делают, чтоб как-то воспользоваться дополнительной информацией о коллекции для более быстрой работы с ней.

т.е. досвидания статика, привет динамический глюкодром

если надо что-то возращать, а не изменять на месте -  дженерики без хкт уже не катят, все фп потуги в языке без хкт или похожего инструментария ничем хорошим не закончатся.…
источник

λ

λоλторт in rust_offtopic
Oleg Andreev
и какие трейдоффы хаскель делает для этого, и почему они не годятся для сишарпа и раста
В хаскеле есть универсальное представление данных.
источник

λ

λоλторт in rust_offtopic
На самом деле не совсем универсальное. Но дефолтный кайнд по крайней мере его имеет.
источник
2020 March 24

СД

Стас Донцов... in rust_offtopic
Alex Zhukovsky
ты про STM слышал?
кстати про STM: я так понимаю это та самая фича фп в многопоточности которая должна стрелять фразами по типу "у нас нет вот этой всей дичи с синхронизацией, блокировками, и тд.тп. так как у нас STM", верно? Я это расцениваю как преимущество, но я не понимаю почему оно не популярно. В то же время я смотрю на скалу и вижу что у нее STM нет и когда в ней работают с многопоточностью и mutable данными, она превращается в Java и использует все ее фичи в виде синхронизированных блоков, волатильности и вот этого всего.. И мне не понятно, почему от такой вещи как STM скала в итоге не редко работает с мутабельными данными и по сути в многопоточности избрала путь Java. Почему не STM, что с ним не так?
источник

D

Dima in rust_offtopic
Стас Донцов
кстати про STM: я так понимаю это та самая фича фп в многопоточности которая должна стрелять фразами по типу "у нас нет вот этой всей дичи с синхронизацией, блокировками, и тд.тп. так как у нас STM", верно? Я это расцениваю как преимущество, но я не понимаю почему оно не популярно. В то же время я смотрю на скалу и вижу что у нее STM нет и когда в ней работают с многопоточностью и mutable данными, она превращается в Java и использует все ее фичи в виде синхронизированных блоков, волатильности и вот этого всего.. И мне не понятно, почему от такой вещи как STM скала в итоге не редко работает с мутабельными данными и по сути в многопоточности избрала путь Java. Почему не STM, что с ним не так?
потому что медленно
источник

p

polunin.ai in rust_offtopic
борроу чекер охренел
источник

СД

Стас Донцов... in rust_offtopic
polunin.ai
борроу чекер охренел
много я видал, но гаже этого
источник

EG

Emmanuel Goldstein in rust_offtopic
Я тоже так иногда думал, но обычно оказывалось, что охренел я, а не борроу чекер.
источник

p

polunin.ai in rust_offtopic
ну я написал примерно 600 строк кода из которых в ~130 есть или 'a, или &mut, так что я охренел, да
источник

D

Dima in rust_offtopic
главное что 'b:'a нету и for<'a> а так норм че)
источник

D

Dima in rust_offtopic
и may_dangle
источник

D

Dima in rust_offtopic
тогда весело становится)
источник