Может чего не так делаю, хз.

а как уменьшить репутацию?

-

Alexander Vershilov (0) уменьшил репутацию A64m qb0 (-3)

а как уменьшить репутацию?

+

Hot Kosc (0) увеличил репутацию A64m qb0 (-2)

А то бедняга итак в глубоком минусе.

правильно

А что даёт рейтинг?

А как топовых хаскеллистов в комботе посмотреть?

А что даёт рейтинг?

Длина пиписьки

/stat@combot

combot.org/c/-1001043143583

Я думал наоборот: мут на час, если рейтинг ниже границы какой-нибудь

Я думал наоборот: мут на час, если рейтинг ниже границы какой-нибудь

фидошник итт

@zheltoukhova тссссс

decode даёт Nothing.

попробуй eitherDecode

Ага, его тоже пробовал.

Уже лень.

Ага, его тоже пробовал.

молодец

Там что бы оно хотя бы с https заработало, надо было извернуться.

Ага, его тоже пробовал.

и какая ошибка?

/stat@combot

А там рейтинга по этим минусам/плюсам нету

и какая ошибка?

Сорян, я уже закрыл вкладку и забил пока на это дело.

В общем, как мне вот такой тип: Data.ByteString.Lazy.Internal.ByteString перегнать в JSON для Aeson?

Похоже, надо в base58 (или как там её) кодировать

Base64?

eitherDecodeStrict . encodeUtf8

А там рейтинга по этим минусам/плюсам нету

УГу.

Я думал наоборот: мут на час, если рейтинг ниже границы какой-нибудь

у комбота же звездочки нет, никому он ничего сделать не может

Похоже, надо в base58 (или как там её) кодировать

ЗАЧЕМ?

судя по упоминанию decode, надо раскодировать, а не закодировать

и decode — одно из правильных решений

eitherDecodeStrict . encodeUtf8

типы не сходятся

cходяться

import Data.Aeson (ToJSON, FromJSON, decodeStrict, eitherDecodeStrict) import Data.Text.Encoding (encodeUtf8)

import Data.Aeson (ToJSON, FromJSON, decodeStrict, eitherDecodeStrict) import Data.Text.Encoding (encodeUtf8)

• Couldn't match type ‘Data.ByteString.Lazy.Internal.ByteString’ with ‘Data.Text.Internal.Text’

Λ y (0) увеличил репутацию A64m qb0 (-1)

там на входе Data.ByteString.Lazy.Internal.ByteString был

ну еще ByteString -> Text

ну еще ByteString -> Text

зачем?

combot.org/c/-1001043143583

combot.org/c/-1001043143583

-

мне сейчас нужен только Semigroup

Можно просто туплом, воспользовавшись инстансом instance (Semigroup a, Semigroup b) => Semigroup (a, b)`

Можно просто туплом, воспользовавшись инстансом instance (Semigroup a, Semigroup b) => Semigroup (a, b)`

только у меня Either

Ну для Either инстанс Semigroup уже занят

значит тебе всё равно что-то своё делать

Ну для Either инстанс Semigroup уже занят

вот я и ищу другой. есть Validation (даже не один вариант), но он собирает только ошибки, а мне надо и хорошие результаты тоже

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

значит тебе всё равно что-то своё делать

уже написал просто функцию

left x = (x, mempty) right x = (mempty, x) "конструкторы"

left x = (x, mempty) right x = (mempty, x) "конструкторы"

у полугруппы нет mempty

у тебя именно полугруппа?

полурешётка, если интересно

Интересен юзкейз не-Bounded полурешётки

Интересен юзкейз не-Bounded полурешётки

чем интересен?

чем интересен?

Тем, что совершенно всё, что я встречал на практике всегда имело какой-то баунд. Типа там пустого сета/мэпа, минимального/максимальнрго элемента и т.п

Тем, что совершенно всё, что я встречал на практике всегда имело какой-то баунд. Типа там пустого сета/мэпа, минимального/максимальнрго элемента и т.п

Max Integer -- полурешётка без границ

Alexander будет жить. Поприветствуем!

Интересен юзкейз не-Bounded полурешётки

или «юзкейс» — это практическое применение?

ERROR: S client not available

или «юзкейс» — это практическое применение?

нууу да

нууу да

я применяю полурешётки в https://github.com/ff-notes/ff

я применяю полурешётки в https://github.com/ff-notes/ff

Как CRDT?

да

Так они ж по определению должны быть Bounded

Некий новый процесс должен стартовать с пустым состоянием

во-первых, границы сверху и снизу совершенно независимые

Сверху и снизу? Т.е. это решётка?

полурешётка определяет отношение, у этого отношения можно найти грань с либой стороны

Некий новый процесс должен стартовать с пустым состоянием

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

@serg_bs будет жить. Поприветствуем!

полурешётка определяет отношение, у этого отношения можно найти грань с либой стороны

Ну обычно-таки bound ом в полурешётке называют нейтральный элемент.

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

Ну тогда твоим общим CRDT будет какая-то разновидность Set. Но ок, от каждого элемента этого Set уже границ не требуется, логично

Ну обычно-таки bound ом в полурешётке называют нейтральный элемент.

мне казалось, наоборот

Ну тогда твоим общим CRDT будет какая-то разновидность Set. Но ок, от каждого элемента этого Set уже границ не требуется, логично

не думаю, что имеет смысл какой-то «общий CRDT». вполне достаточно гранулярности по объектам

впрочем, да, поскольку объекты с идентификаторами, то общее состояние описывается как Semilattice s => Map k s (псевдокод)

@kinul_kent_serotonin будет жить. Поприветствуем!

я ненавижу стек

я ненавижу стек

- Что вы делали? Запустил стек. - Какой результат ожидался? Испытаю прилив радости к любимому инструменту. - Что произошло вместо этого? ...

я три часа убил на тупые его глюки при работе с никсом

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

Так может это ты никс ненавидишь?

нет, стек

):

без стека все работает

и в старой версии стека все работало

без стека все работает

Но без никса тоже...

ну не все, там был nix unrelated баг