но можно какой комоноид Ones определить, который будет по единичкам отделять, или еще что

откуда код?

Только что родил

unFoldMap Ones 4 = [Ones 1, Ones 1, Ones 1, Ones 1, Ones 0, ...] поиск комоноида по гуглу вообще ничего не дал, так странно

Every set can be made into a comonoid in Set (with the cartesian product) in a unique way. More generally, every object in a cartesian monoidal category can be made into a comonoid in a unique way.

Надо идти в смежный чат и спрашивать @comonoid

ну то есть я понимаю как комоноид работает но почему так и почему с рисунком категории нифига не сходится- нет

комоноид представитель какого-то то анаморфизма, а эта вещь может развернуться в бесконечность, в отличии от моноида что может свернуться в скаляр (ну такие мне мысли пришли)

хз насколько правильно нарисовал но здесь не видно никакой дуальности

Дык не

?

На схемах (у Милевски) моноид рисуют так: есть один объект и у него куча морфизмов на композицию со всеми вариантами. Типа, для String есть (++ ""), (++ "1"), ...

у милевски то как я сверху нарисовал

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

вот прям из книги

ну вообще любая именованная библиотека явлй яется внутренней и не экспортируется, но ее можно испортировать в тестах

про это проглядел в доке, спасибо тогда совсем непонятно зачем придумали other-modules

не, ругается FromString "'library' expects no argument"

про это проглядел в доке, спасибо тогда совсем непонятно зачем придумали other-modules

для кода, который не надо тестировать, например

Чтобы не портить процент покрытия?)

То, что в other-modules, не хуглится, а это важно! Частенько нахугливается что-то из Bla.Bla.Internal, и это меня лично раздражает

То, что в other-modules, не хуглится, а это важно! Частенько нахугливается что-то из Bla.Bla.Internal, и это меня лично раздражает

а меня радует, когда нахожу Internal, что можно не создавать свой велосипед, а украсть чужой

То, что в other-modules, не хуглится, а это важно! Частенько нахугливается что-то из Bla.Bla.Internal, и это меня лично раздражает

а внутренние библиотеки разве хуглятся?

Внутренние тоже не должны, по идее. Но это не точно

Какие люди

про это проглядел в доке, спасибо тогда совсем непонятно зачем придумали other-modules

other modules придумали сначала и некоторые считают, что это хорошая идея

не, ругается FromString "'library' expects no argument"

какая версия Cabal/cabal-install?

это в последних только появилось

1.24

То, что в other-modules, не хуглится, а это важно! Частенько нахугливается что-то из Bla.Bla.Internal, и это меня лично раздражает

вот убивал бы когда на хаддоки source не открыть, как для other-modulez

1.24

нужно 2.0

понял, спасибо

но и стек вроде научили с последним кабалом работать, но это не точно

(/me за other-modules)

вот убивал бы когда на хаддоки source не открыть, как для other-modulez

Скрытые модули на то и скрыты, чтобы заглядывать в них не нужно было, ибо это детали реализации, потенциально могущие меняться (для того и спрятаны). Но правильно отделить скрываемое от публичного немногие могут, увы...

конечно не могут, т.к. правильное отделение это все открыто

хочешь скрыть - положи в .Internal

от этого никто не проиграет

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