Size: a a a

2020 July 28

m

magras in pro.cxx
Apache DOG™
дать осмысленное имя F и G затруднительно, это 2 структуры которые можно параметризовать типом. Больше о них ничего сказать нельзя, это может быть список и Either, может быть очередь и IO монада
Я думаю это всем очевидно. Но непонятно зачем было приводить в качестве примера эту функцию.
источник

AD

Apache DOG™ in pro.cxx
разговор был вроде о лаконичности
источник

AD

Apache DOG™ in pro.cxx
потом ты такой хоба и foo.sequence
источник

m

magras in pro.cxx
Ну странно сравнивать код уровня sum a b = a + b с функциями и типами, которые описывают сложную логику.
источник

AD

Apache DOG™ in pro.cxx
Пройтись по списку тасок и вытащить все данные, запихнуть в другую таску если всё сработало, или если что то завалилось вернуть заваленную таску, при условии что таска и список это неопределённые вещи, это сложная логика?
источник

DF

Dollar Føølish in pro.cxx
F и G же все равно будут иметь тайпкласс которого они инстансы. Имя оно в этом тайпклассе будет
источник

AD

Apache DOG™ in pro.cxx
catsCovariantListMonoid?
источник

DF

Dollar Føølish in pro.cxx
Да типа того
источник

DF

Dollar Føølish in pro.cxx
То есть они не совсем безымянные
источник

m

magras in pro.cxx
Apache DOG™
Пройтись по списку тасок и вытащить все данные, запихнуть в другую таску если всё сработало, или если что то завалилось вернуть заваленную таску, при условии что таска и список это неопределённые вещи, это сложная логика?
И вы можете этот процесс описать одним словом? Парой, тройкой? Если сложно придумать название для функции, в идеале нужно либо ее разбивать на несколько, так как она делает несколько ортогональных вещей, либо вводить новые абстракции, которые одним словом опишут целое предложение.

Если абстракция начинает использоваться в каждой первой функции, возникает естественное желание сократить ее. Многие сокращения уже давно стали стандартом и у меня это не вызывают особых проблем.
источник

AD

Apache DOG™ in pro.cxx
magras
И вы можете этот процесс описать одним словом? Парой, тройкой? Если сложно придумать название для функции, в идеале нужно либо ее разбивать на несколько, так как она делает несколько ортогональных вещей, либо вводить новые абстракции, которые одним словом опишут целое предложение.

Если абстракция начинает использоваться в каждой первой функции, возникает естественное желание сократить ее. Многие сокращения уже давно стали стандартом и у меня это не вызывают особых проблем.
эта одна из возможных интерпертаций вот той сигнатуры, код там 5-6 строчек. sequence выбрано потому что swapHierKinds слишком громоздкое.
источник

m

magras in pro.cxx
Apache DOG™
эта одна из возможных интерпертаций вот той сигнатуры, код там 5-6 строчек. sequence выбрано потому что swapHierKinds слишком громоздкое.
Ну то есть вы описали конкретную инстанциацию шаблона, если говорить в терминах плюсов. Зачем?
источник

AD

Apache DOG™ in pro.cxx
magras
Ну то есть вы описали конкретную инстанциацию шаблона, если говорить в терминах плюсов. Зачем?
потому что семантика на языке абстракций которые там попрошены и прочего будет с большой степенью вероятности воспринята как заумь тем кто эти абстракции не использует. Вот, после горького опыта стараюсь максимально конкретные и понятные эквиваленты использовать.
источник

AD

Apache DOG™ in pro.cxx
сомневаюсь что у вас принято вводить какой нибуть трейт шаблона моноид и таскать его.
источник

DF

Dollar Føølish in pro.cxx
Концепт моноид вполне может появиться
источник

DF

Dollar Føølish in pro.cxx
Правда не знаю в какой либе пока
источник

m

magras in pro.cxx
Apache DOG™
потому что семантика на языке абстракций которые там попрошены и прочего будет с большой степенью вероятности воспринята как заумь тем кто эти абстракции не использует. Вот, после горького опыта стараюсь максимально конкретные и понятные эквиваленты использовать.
Если это был аргумент в пользу того, что у вас логика нетривиальная, то проблема в том, что вы как раз раскрыли абстракции вроде монады.
источник

ПК

Побитый Кирпич... in pro.cxx
Apache DOG™
сомневаюсь что у вас принято вводить какой нибуть трейт шаблона моноид и таскать его.
У нас принято вводить концепт и таскать его
источник

m

magras in pro.cxx
Apache DOG™
сомневаюсь что у вас принято вводить какой нибуть трейт шаблона моноид и таскать его.
Ну функторы (которые из мира функциональных языков, а не то, что в плюсах получило одноименное название) я уже в паре плюсовых проектов реализовывал.
источник

А

Александр in pro.cxx
Ребят всем привет
Нужна копия https://meetforcharity.today/

С предложениями в лс
источник