СД
кстати, о монадах, а Box не является монадой?
Size: a a a
2020 April 08
DS
https://boats.gitlab.io/blog/post/why-ok-wrapping/ снова изобретаем монады
Опять то же самое:
ПаЛиМаРфИзМ па эффектам, эта сложна!!!!!!!!!
Разработчики-дауны не поймут, а это же наша тагрет группа!!!
ПаЛиМаРфИзМ па эффектам, эта сложна!!!!!!!!!
Разработчики-дауны не поймут, а это же наша тагрет группа!!!
AZ
вдруг и правда сложна
AZ
кстати, о монадах, а Box не является монадой?
если ты знаешь что такое монада то ответ должен быть очевиден
DS
вдруг и правда сложна
Это программирование, никто никому не обещал, что будет легко.
Это нормально, если что-то сложно
Это нормально, если что-то сложно
AZ
если не знаешь то ответ тебе поможет не больше чем "Box это сепулькарий"
RP
https://boats.gitlab.io/blog/post/why-ok-wrapping/ снова изобретаем монады
ппц
RP
кто-нибудь, остановите его
DS
https://boats.gitlab.io/blog/post/why-ok-wrapping/ снова изобретаем монады
Не, ну а если без рофлов и издевок, то может зафигачить что-то вроде CE из F#?
Расширяемый монадический и аппликативный синтаксический сахар, который может (в свежих версиях) разворачиваться в стейт машины
Расширяемый монадический и аппликативный синтаксический сахар, который может (в свежих версиях) разворачиваться в стейт машины
RP
Не, ну а если без рофлов и издевок, то может зафигачить что-то вроде CE из F#?
Расширяемый монадический и аппликативный синтаксический сахар, который может (в свежих версиях) разворачиваться в стейт машины
Расширяемый монадический и аппликативный синтаксический сахар, который может (в свежих версиях) разворачиваться в стейт машины
> First is some sort of “Monad trait.” There have been proposals for how this could be done with the addition of a heapful of new abstractions in Rust’s trait system, but I’m very suspicious of their ability to integrate well with type inference, unification, etc. I suspect any modelling like that would be incredibly unergonomic to actually use, because you’d have to type ascribe loads of things.
DS
> First is some sort of “Monad trait.” There have been proposals for how this could be done with the addition of a heapful of new abstractions in Rust’s trait system, but I’m very suspicious of their ability to integrate well with type inference, unification, etc. I suspect any modelling like that would be incredibly unergonomic to actually use, because you’d have to type ascribe loads of things.
Он не требует как раз такого
RP
Почему не требует?
RP
Как ты выразишь монаду в текущей версии раста?
RP
Вот когда запилят Полониус...
DS
Почему не требует?
Потому что CE, про который я говорю, это тупо сахар над вызовом определенных методов.
Он ничего от системы типов не требует
Он ничего от системы типов не требует
DS
Иначе бы он в F# не влез
DS
Т.к. там монады тоже не выразить
RP
ок. видимо недопонимание от того, что я не знаком с СЕ
r
кстати, о монадах, а Box не является монадой?
Так-то и id - монада.
return x = x, bind x f = f xAZ
red75prime
Так-то и id - монада.
return x = x, bind x f = f xid монада это что-то из завтипов. В обычных япах монадность свойство типов, а не значений