Но не то чтобы какая-то из них была основной, а другая обратной. Они по отношению друг к другу обратные.

Для любой категории C мы можем говорить о обратной ей категории Op(C), а Op(Op(C)) = C

Поэтому если мы говорим об эндофункторах и определяем их как отображения C -> C, то дуальное понятие кофунктора это Op(C) -> Op(C). Но это по сути та же самая сущность, потому что какую категорию считать обратной, а какую основной, не важно

В случае с контрафункторами, мы имеем C -> Op(C), но это то же самое, что Op(C) -> Op(Op(C)), т.е. Op(C) -> C, по той же причине

в Хаскеле class Functor c1 c2 f where fmap :: c1 a b -> c2 a b и в дефолтном определении берут c1 = (->) и c2 = (->)

разворачиваем все в обратные категории, получаем class Functor c1 c2 f where fmap :: c1 b a -> c2 b a

что абсолютно идентично (до переименования)

поэтому функтор = кофунктор

а вот если мы только c1 или c2 развернем, то получим контрафукнтор

эндофунктор: c1 = c2, контрафунктор: c1 = op(c2)

type Op c a b = c b a type Endofunctor c = Functor c c type Contrafunctor c = Functor c (Op c) если бы можно было частично применять синонимы вроде Op

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

Если для чего-то кроме теории, то лучше Идрис

type Op c a b = c b a type Endofunctor c = Functor c c type Contrafunctor c = Functor c (Op c) если бы можно было частично применять синонимы вроде Op

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

@int_index, а контрфункторы в контексте Хаскелля чем могут быть полезны?

https://hackage.haskell.org/package/contravariant

как составная часть профункторов например

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

Ну да, профунктор это бифунктор контравариантный в одном из параметров

Подскажите, а есть ли какие-то структуры данных типа листа или мапа по принципу мвара, где результат завернут в io?

stm-containers? Chan/TChan?

(ну или я не понял вопрос)

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

похоже на stm-containers, да

stm в io можешь сам перевести

а как мне там list сделать?

а, ну видимо нужно просто в stm его запихать, да. но это просто стм. немного другой подход

а как мне там list сделать?

никак это уже смотри на Chan и так далее если твой юзкейс не ложится на stack/queue, то это либо TVar [a], либо что-то более хитрое

Подскажите, а есть ли какие-то структуры данных типа листа или мапа по принципу мвара, где результат завернут в io?

лучше опиши что ты хочешь добиться без использования описания типов

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

сноймано пакет кстати был какой-то

на тему того, что хочется

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

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

STM, не?

https://hackage.haskell.org/package/hashtables

вот мутабельные хэштейблы

но stm гораздо лучше для конкурентности в большинстве случаев

если синхронизация coarce grained, то MVar (HashTable a b) достаточно

если finegrained надо, то да сложнее, но в stm-containers смотреть или самому делать

я вот вообще не осиляю понять, что такое "обернуты в эффект" как у любой мутабельной структуры (хоть конкуррентной, хоть нет) операции могут быть *не* обернуты в эффект?

не пытайся понять

(вообще имеют тип -> m wtf)

спасибо, почитаю.

finegrained таблиц я не видел, у Ryan Newton вроде были всякие работы по lockfree структурам

там может было что

обычно хватает coarse grained

вроде ж так пишется?

в общем когда на всю структуру лок

типа MVar T/ TVar T

и вперед

Это совсем наивная же реалзиация, да? https://hackage.haskell.org/package/hashtables-1.2.2.1/docs/src/Data-HashTable-IO.html#insert давайте просто заврапим все в ИО не глядя.

не наивная

но там локов нету

finegrained таблиц я не видел, у Ryan Newton вроде были всякие работы по lockfree структурам

так а разве stm-containers не fine-grained? я всю жизнь думал, что да

емнип

там - да

но там вроде хэштаблиц не было

?

я вообще стараюсь держаться подальше от пакетов Никиты, они клевые местами, особенно hasql, но настолько упоротые по апи и реализации бывают

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

ладно, похоже я хочу странного

но там вроде хэштаблиц не было

> A hash table, based on an STM-specialized hash array mapped trie.

не, не странного

вон говорят в stm-containers все есть

вот есть в джаве concurrent hashmap. в нем минимум блокировок и синхронизаций. он быстрый и классный. есть мвар, в котором в сигнатуре io. хочется вот такую же :)

да, я покопаю стм пакет из хаскелла в деталях

stm-containers же!

я вообще на скале программирую, но там такого не нашел. только мвар. думал может у вас есть. )

stm-containers у нас есть

ок. буду читать

хотя покопать stm чтобы понять что это такое тоже полезно

просто решение задачи в другом пакете

что такое стм я знаю. интересно посмотреть конкретную реализацию в хаскелле

этот стм это стандартный пакет? или от сообщества?

я имею ввиду это дефолтный путь или дефолтного нет?

стандартные

ок

что такое дефолтный путь?

если что родина stm это здесь

вроде нету ни одного другого языка где есть адекватный stm

вообще в идрисах и т.п. можно наверное

что такое дефолтный путь?

ну вот например в скале не дефолтного решения для работы с json. есть несколько либ в сообществе, но нет стандарта де факто. у каждой есть + и -

к stm в железе не относится

ну тут пакет идёт с ghc

ок

там в любом случае все интересное в rts должно быть

Вот примерчик из компаньона к Parallel & Concurrent H. S. Marlow: https://github.com/simonmar/parconc-examples/blob/master/TList.hs Подойдёт?

почитаю

спасибо

Технически, можно сделать zip... господи

offsets :: [ASMLine] -> [ASMLine] backOffsets [] = [] backOffsets (a:as) = a {offset = length (concatMap bytecode (a:as))}: backOffsets as offsets = reverse . backOffsets . reverse

Сделал

всего и делов-то было

я хочу язык, где можно указать тип "целое число от 1 до 20"

Тащемта Ada

Liquid Haskell

Кстати, любопытно. А в чем состоит "адекватность" STM? Какие критерии? Код должен проходить какие-нибудь стандартные тесты? Удовлетворять определенным требованиям?

Пишешь левой ногой, и почти всегда работает как хотелось

Кложуристы, вроде, тоже были рады своему STM. Вероятно, они даже скажут, что там он раньше появился (но это неточно)

Фпрог спб сменил место проведения