CD
ну то есть ты про протекание монад
я не знаю, о чём я, в плюсах это звучит как "наследует CopyConstructible"
Size: a a a
2020 September 02
ΑZ
я не знаю, о чём я, в плюсах это звучит как "наследует CopyConstructible"
ну вот про "снятие"
ΑZ
монада протекает если её нельзя снять, по моему определению
CD
ну вот про "снятие"
> непонятно, какое из них было определяющее, а какое - вторичное
ΑZ
что определяющее?
ΑZ
что вторичное?
CD
непонятно, почему все протекающие монады не копируются
CD
понятно, что некопируемые будут протекать
ΑZ
в расте копируются
ΑZ
футуры например
CD
футуры например
это фейковое копирование, я полагаю
ΑZ
да нет, обычное
CD
да нет, обычное
вроде у меня получалось, что копирование не фейковое, если любая операция над копией коммутирует с операцией над оригиналом
ΑZ
в хаскелле вообще всё что угодно шарится поэтому копированием можно считать любое присвоение
ΑZ
вроде у меня получалось, что копирование не фейковое, если любая операция над копией коммутирует с операцией над оригиналом
ну вот в плюсах можно замыкание скопировать?
CD
в хаскелле вообще всё что угодно шарится поэтому копированием можно считать любое присвоение
так что нет
CD
там фигня какая-то будет
CD
> понятно, что некопируемые будут протекать
это как раз следствие того, что операции не коммутируют - надо указывать порядок, и это требование будет течь
это как раз следствие того, что операции не коммутируют - надо указывать порядок, и это требование будет течь
p
Agrailag
спойлер - он живой и будет в дополнении Кровь и Вино
Норм
ΑZ
> понятно, что некопируемые будут протекать
это как раз следствие того, что операции не коммутируют - надо указывать порядок, и это требование будет течь
это как раз следствие того, что операции не коммутируют - надо указывать порядок, и это требование будет течь
если порядок операций не важен или она вообще одна, то разницы нет