что если это RuleAlg?

какой для него Free?

что если это data FreeFoo a = One a | Add a a

и? cata someAlgebra

ок, тогда мы полностью согласны, кроме разпараметризации FRule

и это уже не Free как это обычно понимается

и это уже не Free как это обычно понимается

я вот пытался показать что все что мы знаем, есть алгебры ну тут пурса (да и возможно вариант алгебр выражать через тайп классы не ок, но это просто эксперимент) https://gist.github.com/xgrommx/d6c5f685e4b12e8080caf501b378a52b

@graninas а что такое stml? в чем разница с stm? что буква l значит?

Да это просто мое именование. L - от language. По сути, косметическая разница

Что такое STM?

Тут, видимо, вышеуказанный тайп класс для STM можно еще вписать. Не уверен, полезно ли

Что такое STM?

software transactional memory

Что такое STM?

Клевая концепция для построения конкурентных моделей данных. На мой взгляд, один из лучших подходов к concurrency

как мне реализовать точку рандеву на STM?

и помогут ли мне фримонады

как мне реализовать точку рандеву на STM?

Я не знаю, что это (мож, потом загуглю)

когда 2 треда обмениваются сообщениями атомарно

т.е.exchange :: Box a a -> a -> M a

когда 2 треда обмениваются сообщениями атомарно

Расшифруй, что здесь атомарность

тред когда вызывает то блокируется

другой тоже

после обмена у них выходят новые сообщения

и они или оба их получили, или оба не получили

Mvar request response pattern

На STM тоже

Решит проблему?

и они или оба их получили, или оба не получили

это какая-то транзакция

ytn

оно принципиально не решается на STM

т.к. коммит не может пройти

Можно протоколом. Один тред лочит другого через переменную, потом они обмениваются инфой

при проверке лога будет изменение той переменной, что ты читал

т.е. это кейс, который STM (в реализации без багов) покрыть не может

оно принципиально не решается на STM

Не требуется же, чтобы это была одна единственная транзакция?

не будет одна транзакция обмен не будет атомарным

Да это просто мое именование. L - от language. По сути, косметическая разница

а UStamp это просто UID или это какой-то реальный временной штамп или еще какой-то штамп?

Я хотел бы про mvar req resp паттерн узнать. Решает или нет?

т.е. ты доп протокол только можешь делать

mvar должен

а UStamp это просто UID или это какой-то реальный временной штамп или еще какой-то штамп?

Просто ID, кажется, целое число

вообще если интересно посмотри в одной из первых статей по STM это разбиралось

mvar должен

Тогда и STM тоже, там есть TMVar, и это не обязана быть та же самая транзакция

нет

Тогда надо уточнить задачу

Потому что как я вижу, MVar req resp и STM TMVar req resp работают одинаково

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

раздельные = нету атомарности

Вот это утверждение, очевидно, не доказсно

Из разряда контр интуитивных

*а что подумал кролик никто не узнал

Атомарности простым мьютексом можно добиться (при отсутствии эффектов, само собой)

Разве нет?

Так я еще раз спрашиваю, последний: MVar req resp pattern решает задачу рандеву или нет?

там можно, но все свойства stm типа композабельности ты теряешь

Да и пофиг

действительно

зачем писать на haskell

Мне она зачем, композабельность, если моя ценность в решении задачи?

зачем знать про что разговариваешь

если блокчейн крутится

ладно этот канал makes me really sick today

А зачем пишут на Haskell, если у них все в IO? Некоррекная претензия

норм претензия

IO композится лучше freer, эффектов, трансформеров и прочего

ну и "все в IO" мало кто пишет

нету никаких ограничений чтобы компзиться

проверок тоже лишних нету

Так ты собрался запрещать писать на Хаскеле, если что-то у человека не композится, или как тебя понимать?

нет

Тогда некорректная претензия.

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

все на IO пишут потому, что все на X у них не получилось

Ты админ. И выдвигаешь в этом чате некорректные претензии.

мне кажется мы уже это проходили?

Верно, не в первый раз

А зачем пишут на Haskell, если у них все в IO? Некоррекная претензия

data TVarHandle = TVarHandle OrigUStamp UpdatedUStamp Any

поясни плиз, что такое Handle и что за Any выглядит как какое-то обновление твара с таким-то айди в твар с новым айди и новым значением

но зачем менять айди тваров

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

а то он не документирован по ходу дела мб и задокументирую