ǧ̥̹̤̪̉l̜̦̇̈͋a̮͕̭͙̗̓̓͑z̓̏ä͈̟͔́͌͌͋_̤̼̍p̙̘͙̮͑̓̔̃̄r͚͓̰͇ͫ͑̑͒a͕̬͈͋͊̽v

а помогите ка понять template <class T> struct B; struct A { B<A> b; }; template <class T, typename std::enable_if_t<std::is_same<T, A>::value, bool> = true> struct B ...

Прошу прощения Но не мог бы ктонибудь мне помочь с этим кодом? https://scastie.scala-lang.org/qIvCF86SQtq6QzNXLrTkvg

привет. подскажите как пофиксить код, пожалуйста class Failable f where type Error f :: * type Success f :: * emitError :: Error f ~ err => err -> f emitValue :: Succe...

Вопрос пользователям Юпитера: почему это хрень не сохраняет состояние между сессиями и как это побороть? Например я что-то пописал, выключил комп, а когда захожу обратно весь...

прив. поможет кто дописать функцию? data N where S :: N -> N Z :: N data V :: N -> * -> * where Cons :: t -> V l t -> V (S l) t Nil :: V Z t type family a > b where...

Всмысле не надо? У меня есть массив с данными, я хочу запустить рутины и мутировать значения в массиве. Если в канал слать сигнал в виде була нормально будет?

Да боже ты что тупой? Это value level computation, это всё на изи делается . Концепты же предполагают type level вычисления. Что-то типа template <Concet1 T, Concept2 U> Gen...

type family RecurseAndCheck a b where RecurseAndCheck a (HList '[]) = CSat RecurseAndCheck a (HList ((l :: a) : b)) = RecurseAndCheck a (HList b) RecurseAndCheck a (H...

не могли ли бы вы подсказать врзможно ли както class Contextual (container :: * -> [*] -> *) class (∀a b (t :: a -> b -> *). Contextual t, Contains Fresh b ~ True) => Can...

Кто-нибудь может объяснить что такое топос простым языком?

Спасибо за ответы. Всё стало более ясно, но я пожалуй переформулирую вопрос. Дано множество значений a и множество значений b. Две функции считаются идентичными, когда примене...

У меня крос референс имён получился. C ++ всё ещё не умеет в резолюцию имён,, вы хотите сказать?

кстати, как управлять упаковкой? я нашёл какоето attribute packed, но оно для мёртвого гцц

Привет, подскажите как из можно вытащить из темплейта значение template <int k> struct J {}; auto val = J<0>{}; Как мне из val достать к?

А как в хаскеле реифицировать экзистенциал?

Господа, помогите понять зачем в c♱♱ добавили концепты если там уже были static_assetы?

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

Господи боже, Помогите пожалуйста! Как сделать материализацию экзистеншала в рантайме? Иными словами, как произвести ребинд тайп вэриабла? Заранее спасибо

Извините пожалуйста, но я правильно понимаю, что в расте нельзя сделать адекватно делегирование, томушо в трейтах нельзя определять требования на переменные?

Кто нибудь тут знает средний размер типа в расте по всей стд либе?