обычный энкодинг из ТАПЛ

рекурсия еще

корекурсия)

вроде считается что вся эта императивщина некая бесконечная коалгебра (привет вам линзы)

этот ооп-энкодинг даже в виде библиотеки есть, правда с лицензией, делающей библиотеку бесполезной https://hackage.haskell.org/package/oo-prototypes-0.1.0.0/docs/src/Data-Prototype.html

этот ооп-энкодинг даже в виде библиотеки есть, правда с лицензией, делающей библиотеку бесполезной https://hackage.haskell.org/package/oo-prototypes-0.1.0.0/docs/src/Data-Prototype.html

у Гонзалеса MVC есть)

А кто такой этот ваш Гонзалес, помимо всего прочего? Чем знаменит?

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

Haskell for all http://www.haskellforall.com/?m=1

Ок, спасибо.

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

Небось хоть анекдотов почитал

Неа

Ребята, кто видит как такую конструкцию хорошо написать ? https://gist.github.com/ivanovs-4/30836f0becb67779758f18dce38c98bb#file-compose-io-either-hs

конечно превью фото у гистов это полезно

Что тут можно сделать чтобы не строить лестницы вправо?

Either - монада. Можно сделать монадически

какой нибудь Validation если надо еще накапливать Left

а насколько в данном случае подойдёт трансформер монад?

да, это вопрос

Без трансформера никак, т.к. тут IO

EitherT IO

предположим, под Left будет один и тот же тип, тогда можно runEitherT ?

Да, тип ошибки будет один

Но можно сложить варианты в сумму

https://www.stackage.org/haddock/lts-10.3/validationt-0.2.0.0/Control-Monad-Validation.html может это?

или https://www.stackage.org/haddock/lts-10.3/validate-input-0.4.0.0/Data-Validator.html

В IO можно ещё и исключения заюзать

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

Validation - интересная штука

а начать попробую с трансформера

Validation - интересная штука

ну это как Except только накапливает ошибки, а не валится на первой

Трансформер попробовать - правильное решение. Это полезно

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

Никак, конечно

validation тут смысла нету особого, тут байнд

Validation тут не в тему

ошибки не накопишь

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

во

вон @kana_sama шарит

В EitherT первый Left прервёт всю цепочку, да

просто 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

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

ок

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

ERROR: S client not available

ну и обычно там 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 лег, пока вторую главу делал

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