169 похожих чатов

Я наверное что-то не догоняю, но любопытно - почему cats.tagless.SemigroupalK

требует F[_] только в ковариантных позициях? Что мешает в продукте 2х алгебр на входной t2k: Tuple2K[G, H] соответсвенно передавать в левую t2k.first на вход, а во вторую - t2k.second?

4 ответов

13 просмотров

Можно руками это сделать, никто не мешает. Тут вопрос только в том, как вы потом будете использовать Alg[Tuple2K[G, H]], ведь FunctorK[Alg] вы не сможете создать и соответственно ApplyK[Alg] + каждый раз на вызов метода с F[_] в инвариантной позиции необходимо будет руками конструировать тапл на вход

Ivan-Klass Автор вопроса
Sergey Klimov
Можно руками это сделать, никто не мешает. Тут воп...

хочу общую реализацию по первому эффекту "параллельно" прогонять

Ivan-Klass Автор вопроса
Sergey Klimov
Можно руками это сделать, никто не мешает. Тут воп...

можно свои типы изоморфные Tuple2K через InvariantK

Ivan-Klass Автор вопроса

Похожие вопросы

Обсуждают сегодня

Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
75
База данных не поможет. Шифрование не поможет. Какие там ещё варианты? Накидывайте.
КТ315
20
А табстоп это сообщение от окна или от элемента управления?
The Bird of Hermes
18
А как лучше конвертировать физический адрес в виртуальный при маппинге? В случае ядра у меня, например, direct mapping, первые 768МБ я как есть мапплю в higher half, а остальн...
Evg Resh
26
Открыл свой двухкилобайтный экзешник в x32dbg, а тут какая-то хрень. Смущает кнопка "выполнить до пользовательского кода", а что ещё может быть в файле помимо него ?
НѣкъиⰘижєжєиꙁъвьсєсвѣтьноѣсѣтиѥсть•
11
Мне были интересны дишные хаки и я нашёл любопытный способ на форуме через __traits, что-то вроде int delegate(int) fac = (int n) => n == 0 ? 1 : n * __traits(parent, {})(n - ...
Constantin F.
1
Вопрос тем кто смотрит видео и слушает подкасты - как вы потом ищете нужную вам информацию? Вот статью я прочитал, потом могу искать нужную мне часть банальным поиском. Пропус...
Aleksandr Druzhinin
4
Всем привет, подскажите/посоветуйте пожалуйста. Фаердак компоненты, имею одно место где бизнес хочет видеть при открытии формы список всех клиентов, это порядка 30к. Мои дово...
Sasha Sch
14
Ребят, если кто в курсе - скажите, а в загранке такое же засилье маркетплейсов? или там простые сермяжные интернет-магазины живут попроще?
Андрей [aharito] Харитонов
14
Коллеги, доброе утро. Запустил на удаленном хосте приложение (ручками зашел туда по ssh и запустил, не командой удаленно). Создал потом ssh-туннель, и с моей машины приложение...
Δημήτηρ
9
Карта сайта