Телеграмм чат группы codingteam страница 25609

то есть, никакой проверки структуры итд.

00:24пожаловаться #1

В C# для этого обычно используют структуру без полей. Маркер, считай. И создают её через new constraint там, где надо. А функции, требующие инстанс тайпкласса, параметризуют этим инстансом.

В Java так просто уже не получится, но можно просто передавать его везде явно, наверное?


Prelude.sum<IntSumMonoid, Integer>(new IntSumMonoid(), 1, 2);

В Scala оно вот так вот примерно под капотом и работает, просто инстансы в основном передаются неявно.

07:37пожаловаться #2

Мне кажется, тут чекер нужно делать наоборот. Параметризовать его проверяемым типом, а не булём.

07:43пожаловаться #3

в идеале хотелось бы реализовать что-то типа "implements", но штуки типа концептов не пробрасываются как параметры шаблонов. В ди есть удобная вещь alias, которая в качестве параметра шаблона может хоть аллаха принять

и ты можешь написать, например:

struct A(alias X) {
};

A!(std.stdio) a;
A!(42) b;

08:47пожаловаться #4

в идеале, вообще пометить структуру своим атрибутом, который бы принял параметрами все "трейты" и какой-то миксин, вытащил бы из атрибута трейты, прошёл по полям\требованиям и проверил, удовлетворяют ли они или нет. Но...такое можно в ди сделать. Не в С++

08:49пожаловаться #5

а концепт -- это "хрень", которая возвращает бул. И хз какая сигнатура или тип у этой хрени.

08:53пожаловаться #6

Концепт возвращает бул? Серьёзно? Блин, я совсем отстал от современных плюсов, не знал такой подробности :(

08:56пожаловаться #7

Я думал, что, если твой код не удовлетворяет концепту, он просто по SFINAE отваливается. А там ещё какой-то return type у него есть?

08:57пожаловаться #8

ну, минимальный концепт

requires true

09:37пожаловаться #9

requires ожидает что-то, что возвращает bool

09:38пожаловаться #10

просто ключевой слово concept позволяет писать кучу проверок

09:38пожаловаться #11

они могли бы не заморачиваться, но почему-то завезли кучу ключевых слов

09:38пожаловаться #12

ну, ради такого не заморачиваться.

09:40пожаловаться #13

ой-ёй, мантикор с 2014-го года критикует имплементации фич в плюсах, потому что у него хватает мозгов посмотреть по сторонам, в отличие от тех, кто завозит пропосалы

09:41пожаловаться #14

это как... насрать в труднодоступном месте египетской пирамиды. Одновременно вписать своё имя в историю и при этом не напрягать голову.

09:43пожаловаться #15

ладно, не насрать, но написать надпись

09:44пожаловаться #16