Ct
но их можно проверить, в цпп для значков такие свойства не регламентированы
В цпп можно для произвольного значка напридумывать своих свойств и так же их ручками проверять.
Size: a a a
2020 February 07
r
ну вот примерно такая же предметная область у (>>=)
Нет. Там предметная область - теория категорий или что-то в этом роде
λ
В цпп можно для произвольного значка напридумывать своих свойств и так же их ручками проверять.
разницу между можно придумать и уже существуют надо объяснять?
λ
red75prime
Нет. Там предметная область - теория категорий или что-то в этом роде
теория категорий это пожалуй формальное обоснование, а не предметная область
λ
когда пишешь (>>=) обычно никакую ТК не вспоминаешь
λ
а вот о последовательном исполнении вполне себе думаешь
r
а вот о последовательном исполнении вполне себе думаешь
Только это не последовательное исполнение в общем случае. И кто-то ещё должен и читать.
λ
прям как
await и ;, надо жеλ
разве что ещё бывают монады деревьев
r
Не важно. Держать в голове контекст применения
>>= всё-равно придётся. await и т.п. включают этот контекст.λ
В целом абсолютно необоснованные претензии, учитывая что в хаскеле с его (>>=) локал ризонинг возможен, а в ИП нет.
r
В целом необоснованные претензии к претензиям.
r
Сферическому программисту в вакууме, всё это возможно и не важно. Но программируют люди.
r
Видеть предметную область в терминах объектов теории категорий доступно не всем.
A
Тем, что есть базовые свойства, которым
(>>=) всегда удовлетворяетТолько в случае если человек при переопределнии позаботился о том, чтобы эти свойства выполнялись. Никто не мешает определить хрень, которая не будет удовлетворять законам.
λ
red75prime
Видеть предметную область в терминах объектов теории категорий доступно не всем.
Опять чушь про ТК. Не нужно о ней ничего знать, чтобы писать или читать хаскель
λ
Только в случае если человек при переопределнии позаботился о том, чтобы эти свойства выполнялись. Никто не мешает определить хрень, которая не будет удовлетворять законам.
Мы о практическом программировании говорим или о сферическом в вакууме?
P
Опять чушь про ТК. Не нужно о ней ничего знать, чтобы писать или читать хаскель
ладно, полугрупа не входит в ТК, убедил
p
а вот о последовательном исполнении вполне себе думаешь
Для меня этот значок - битовый сдвиг вправо с присваиванием
p
прям как
await и ;, надо жеЭто необходимые операторы, без которых было бы намного хуже чем с ними