СД
и еще эти потоки сцеплять правильно: т.е. какая-то черная дыра куда все падает без разбора и оно там само выстраивается в последовательность, например по времени
Size: a a a
2020 March 23
OA
Кто ждал статью: можно читать - https://habr.com/ru/post/490112/
к секции "смотрите какая копипаста в сишарпе и расте" не хватает секции "почему монады так сложно влепить в сишарп или раст". А то звучит как "посмотрите какие глупыши", хотя про хаскел, наверное, девелоперы языков знают давно и много
p
в расте нельзя делать where T: U<Y>
OA
в расте нельзя делать where T: U<Y>
это не совсем ответ на вопрос. Вопрос, конечно же, "в чем фундаментальная трудность с T: <>"
OA
и какие трейдоффы хаскель делает для этого, и почему они не годятся для сишарпа и раста
p
это не совсем ответ на вопрос. Вопрос, конечно же, "в чем фундаментальная трудность с T: <>"
потому что глупыши пилят асинк
p
вместо этого
p
подпирают костылями то что есть
λ
к секции "смотрите какая копипаста в сишарпе и расте" не хватает секции "почему монады так сложно влепить в сишарп или раст". А то звучит как "посмотрите какие глупыши", хотя про хаскел, наверное, девелоперы языков знают давно и много
λ
и какие трейдоффы хаскель делает для этого, и почему они не годятся для сишарпа и раста
В хаскеле есть универсальное представление данных.
λ
На самом деле не совсем универсальное. Но дефолтный кайнд по крайней мере его имеет.
2020 March 24
СД
ты про STM слышал?
кстати про STM: я так понимаю это та самая фича фп в многопоточности которая должна стрелять фразами по типу "у нас нет вот этой всей дичи с синхронизацией, блокировками, и тд.тп. так как у нас STM", верно? Я это расцениваю как преимущество, но я не понимаю почему оно не популярно. В то же время я смотрю на скалу и вижу что у нее STM нет и когда в ней работают с многопоточностью и mutable данными, она превращается в Java и использует все ее фичи в виде синхронизированных блоков, волатильности и вот этого всего.. И мне не понятно, почему от такой вещи как STM скала в итоге не редко работает с мутабельными данными и по сути в многопоточности избрала путь Java. Почему не STM, что с ним не так?
D
кстати про STM: я так понимаю это та самая фича фп в многопоточности которая должна стрелять фразами по типу "у нас нет вот этой всей дичи с синхронизацией, блокировками, и тд.тп. так как у нас STM", верно? Я это расцениваю как преимущество, но я не понимаю почему оно не популярно. В то же время я смотрю на скалу и вижу что у нее STM нет и когда в ней работают с многопоточностью и mutable данными, она превращается в Java и использует все ее фичи в виде синхронизированных блоков, волатильности и вот этого всего.. И мне не понятно, почему от такой вещи как STM скала в итоге не редко работает с мутабельными данными и по сути в многопоточности избрала путь Java. Почему не STM, что с ним не так?
потому что медленно
p
борроу чекер охренел
СД
много я видал, но гаже этого
EG
Я тоже так иногда думал, но обычно оказывалось, что охренел я, а не борроу чекер.
p
ну я написал примерно 600 строк кода из которых в ~130 есть или 'a, или &mut, так что я охренел, да
D
главное что 'b:'a нету и for<'a> а так норм че)
D
и may_dangle
D
тогда весело становится)