AZ
ф-алгебры, т-алгебры, коалгебры, кан, топосы..
Size: a a a
2019 December 25
AZ
в rust нельзя реализовать монады или что-то близкое?
нельзя
AZ
в rust нельзя реализовать монады или что-то близкое?
примерно как в го без генериков короч. Если аналогия нужна
r
Ладно. Предположим, что на xml у меня аллергия
λ
в rust нельзя реализовать монады или что-то близкое?
В раст нельзя абстрагироваться от конкретного типа монады, без этого оно нормально не работает
BV
нельзя
вы меняете показания в воздухе
E
В раст нельзя абстрагироваться от конкретного типа монады, без этого оно нормально не работает
понятно
AZ
вы меняете показания в воздухе
нет, я сразу говорил что их нед, и судя по настроям кортимы не будет
BV
то в расте есть монады то их нет
λ
Ну то есть нельзя написать интерфейс Монада
AZ
то в расте есть монады то их нет
в расте есть монады как типы данных, но их нельзя под один трейт подвести
AZ
а все интересности начинаются когда ты можешь написать функцию которая работает с любой монадкой, геенрик по монадке
r
Нет first-class монад
BV
red75prime
Нет first-class монад
а для не очень в теме - чем подобные отличаются друг от друга?
С
нет, я сразу говорил что их нед, и судя по настроям кортимы не будет
Кто такой Кортима?
BV
т.е. это описательная или же поведенчекая характеристика?
DF
Он хотел сказать кодзима
DF
Кек
С
Dollar Føølish
Он хотел сказать кодзима
Я тоже об этом подумал. Ещё один бурят.
r
а для не очень в теме - чем подобные отличаются друг от друга?
Ну, например, в С есть конструкторы типов (struct, array), но нет first-class конструкторов типов (дженериков)