просто EitherT IO имеет не так много бонусов по сравнению с IO + расширяемые исключения

При первой левой она и станет результатом

Но если типы лефтов разные, то Validation может их собрать в сумму сам ?

нет

можешь делать какой-нить HSet и враппить значения в него

хм, @astynax тоже говорил, что там, где есть IO, ExceptT в принципе не нужен

и снойман говорил (редкий пост где я с ним согласен)

все говорили

бонус ExceptT то что ты видишь исключения которые могут быть кинуты

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

По моему, левый тип должен быть одинаковым, если монады >>='ть

у меня цепочка запросов servant-клиентом. Они возвращают всякое Either

лефты можно и в текст перевести чтобы собралось

у монады тоже тип должен быть одинаковым

пробовал из сервантовского Handler ExceptT выкинуть https://github.com/kana-sama/servant-no-except/blob/master/src/Main.hs

но хотелось бы оставить типизированным

Делай mapLeft для каждого вызова и складывай в конструкторы общей суммы

mapEither и все такое

просто тебе нужно самому общую сумму типов вводить

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

расширяемые исключения - это что ?

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

Control.Exception

с наследованием "как в ООП"

ок

ну не как в ООП все же

ну и обычно там 1 слой используется

+ там можно делать intersection

который нельзя в ООП

что одно исключение в 2 иерархии войдет

В пейтоне можно :)

Множественное наследование же

жуть какая

Ты даже не представляешь

Я в питоне metod resolution order ломал, бывало. Вот до чего доводит множественное наследование!

https://www.ohaskell.guide

Кто нибудь читал?

https://www.ohaskell.guide

Неплохая вещь, но весьма мало написано. Ну и новичкам по ней, как мне кажется, учится сложно будет

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

Думаю он работает

Неплохая вещь, но весьма мало написано. Ну и новичкам по ней, как мне кажется, учится сложно будет

Наоборот. Для старта самый раз

Думаю он работает

не больше чем многие другие с канала

тогда значит женат

женатых и с детьми (правда в меньшем количестве) тут тоже хватает

может не знает про чат

блин как же бесит автоподстановка сниппетов в спейсмаксе

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

о вот и решение нашёл

о вот и решение нашёл

Расшарь, вдруг у кого такая же проблема возникнет

https://github.com/olivierverdier/spacemacs-coq/issues/14

The solution is to put (setq evil-want-abbrev-expand-on-insert-exit nil) in your dotspacemacs/user-init (note, it's init, not config). Because this variable is only read on Evil load, putting it in dotspacemacs/user-config or even (with-eval-after-load 'evil (setq evil-want-abbrev-expand-on-insert-exit nil)) will not work.

поохоже правда что в proof general уже включили это

logical foundation зло

?

logical foundation зло

мне норм

я только в 4 лег, пока вторую главу делал

это же множество простых чисел?

да

Challenge: у меня есть библиотека для монадических эффектов, написанная с несколькими unsafeCoerce, но я хотел бы, чтобы их не было. У кого есть настроение побороться с компилятором?

компилятор всё равно победит

Ну я его пока что победил через unsafeCoerce, а хочется как-то по-честному.

компилятор всё равно победит

Снойман окажется сильней

Ну я его пока что победил через unsafeCoerce, а хочется как-то по-честному.

это для этого? unsafeCastCapabilities

Да, но это один 'unsafeCoerce'. А сейчас я еще один использовал, и мне стало немного печально.

Да, но это один 'unsafeCoerce'. А сейчас я еще один использовал, и мне стало немного печально.

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

Ну я начинал с coerce, но оно там не сошлось как-то

К тому же с использованием Any об этом речи идти не может.

Так что надо для начала придумать, как от Any избавиться.

Challenge: у меня есть библиотека для монадических эффектов, написанная с несколькими unsafeCoerce, но я хотел бы, чтобы их не было. У кого есть настроение побороться с компилятором?

можно ссылку на либу?

https://github.com/int-index/caps

это чтобы тайпклассы не делать?

это чтобы тайпклассы не делать?

Гонзалес стайл

а, хм, идея в том, чтобы разбивать один эффект на много разных? И чтобы потом подменять один логгер над IO на другой?

как в пурсе Eff вместо IO

это чтобы тайпклассы не делать?

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

а, хм, идея в том, чтобы разбивать один эффект на много разных? И чтобы потом подменять один логгер над IO на другой?

именно так, + возможность из одного эффекта получать доступ к другим

то есть это такой fixed point над ReaderT мапы из словарей с эффектами

То есть если имеем эффекты E1, E2, E3, то это эквивалент ReaderT ( E1 '[E1, E2, E3], E2 '[E1, E2, E3], E3 '[E1, E2, E3] )

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