помню, тоже в одном чате удивил присутсвующих заявлением, что ИО - не монада. потребовали объяснений )))

помогите выйти из монады

из vim-монады?

выйти из монады - невозможно (С) же ))

Ио - спутник

выйти из монады - невозможно (С) же ))

unsafePerformIO!

Для взлома матрицы

из vim-монады?

из Emacs, из Vim любой выйти может! ?

из vim-монады?

о, вим - монада, вот и заголовок для нового туториала

Emacs-монада

EmacsMonad

картинки не приветствуются - http://ratbag.vkomi.ru/files/2015/01/help-me-get-out-from-dog.jpg

пишу инстансы к серванту, и у меня получаются оверлапящиеся ассоциированные тайп фэмели. На инстансах висит {-# OVERLAPPABLE #-}/ {-# OVERLAPPING #-}, но GHC всё равно ругается. ЧЯДНТ?

код надо

"ViM - Vim is (a) Monad"

товарищи, а помошите картинку найти там где велосипедист и String -> String -> String -> String

@catamorphism калька кода для Verb из Servant instance {-# OVERLAPPABLE #-} (ToJSON (ErrUnion e), ToJSON r) => HasServer (RPC e r) ctx where type ServerT (RPC e r) m = m (Either (OpenUnion e) r) hoistServerWithContext _ _ nt = nt route Proxy _ = methodRouter' $ \x -> (getHeaders x, getResponse x) instance {-# OVERLAPPING #-} (ToJSON (ErrUnion e), ToJSON r, GetHeaders (Headers h r)) => HasServer (RPC e (Headers h r)) ctx where type ServerT (RPC e (Headers h r)) m = m (Headers h (Either (OpenUnion e) r)) hoistServerWithContext _ _ nt = nt route Proxy _ = methodRouter' ([],)

"ViM - Vim is (a) Monad"

???

товарищи, а помошите картинку найти там где велосипедист и String -> String -> String -> String

о, мне тоже нужна была недавно

вот кстати у Yi проблем нет - там вроде 3 монады целых

и есть YiM

не дурят людей хотя бы

мне она была нужна когда я увидел как флаги парсят ребята

тут конечно другой случай

interface{} -> interface{} -> interface{}

@catamorphism тут красивее https://gist.github.com/sopvop/1b6bdbf35dc1d5105a061ef295836e15

@catamorphism калька кода для Verb из Servant instance {-# OVERLAPPABLE #-} (ToJSON (ErrUnion e), ToJSON r) => HasServer (RPC e r) ctx where type ServerT (RPC e r) m = m (Either (OpenUnion e) r) hoistServerWithContext _ _ nt = nt route Proxy _ = methodRouter' $ \x -> (getHeaders x, getResponse x) instance {-# OVERLAPPING #-} (ToJSON (ErrUnion e), ToJSON r, GetHeaders (Headers h r)) => HasServer (RPC e (Headers h r)) ctx where type ServerT (RPC e (Headers h r)) m = m (Headers h (Either (OpenUnion e) r)) hoistServerWithContext _ _ nt = nt route Proxy _ = methodRouter' ([],)

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

но я не уверен

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

а в серванте работает

Кккк

да вы издеваетесь!

только в руби)

Я так пишу :(

Простите.

@catamorphism тут красивее https://gist.github.com/sopvop/1b6bdbf35dc1d5105a061ef295836e15

@qnikst вот мой код с RPC и внизу выдранный из серванта. Почему мой ноет про Overlapping Instances для ServerT?

а в серванте работает

У меня такая же проблема была! И я как назло не помню в чем было дело.

может нужно не включить, а выключить какие-то расширения...

нет :(

а ошибку покажи?

src/Servant/API/RPC.hs:74:8-55: error: … Conflicting family instance declarations: ServerT (RPC e r) m = m (Either (OpenUnion e) r) -- Defined at /home/lonokhov/work/stagex-store/stagex-api/src/Servant/API/RPC.hs:74:8 ServerT (RPC e (Headers h r)) m = m (Headers h (Either (OpenUnion e) r)) -- Defined at /home/lonokhov/work/stagex-store/stagex-api/src/Servant/API/RPC.hs:81:8

а ты уверен что именно эти две конфликтуют?

а хотя тут строки

а больше некому

в ошибке

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

Кажется, вы про меня сейчас.

Но я не уверен.

все так

@qnikst вот мой код с RPC и внизу выдранный из серванта. Почему мой ноет про Overlapping Instances для ServerT?

мне тут бабушка мозг выносит, вечером посмотрю

к вечеру всё должно быть в продакшене. кек. Пойду на фриноду искать помощи

я тут слепил репро-модуль

какое-то тайпфемильное свойство нарушаем

а вообще я пытаюсь понять почему в серванте работает

Кажется, вы про меня сейчас.

Я про функтор

Да что ж, блин, не так со мной.

Что есть функтор, а что монада?

Что-то одно из этого - частный случай другого?

Headers это что?

ЧИТАЙ TYPECLASSOPEDIA

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

промоученный тип

вообще учебники с контрагентами примерами прекрасны

про Headers

Давай

data Headers bla abl lab

такое

Что-то одно из этого - частный случай другого?

Монада - частный случай аппликатива, аппликатив - частный случай функтора

Ну так IO - это монада всё же?

А какая разница?

мне на фриноде объяснили

мне на фриноде объяснили

что было?

и в чем дело?

Ну так IO - это монада всё же?

Да, ибо есть инстанс

в случае серванта выходит: m a и m (Headers h a) и в пересекающемся инстансе a ~ Headers h a. у меня же не так

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

Это: http://blog.functorial.com/posts/2015-12-06-Counterexamples.html ?

Масло - оно не масляное, а вот если помазать его маслом - тогда да, оно будет масляное

I fol'd

в случае серванта выходит: m a и m (Headers h a) и в пересекающемся инстансе a ~ Headers h a. у меня же не так

Возможно не починится

в случае серванта выходит: m a и m (Headers h a) и в пересекающемся инстансе a ~ Headers h a. у меня же не так

не понял, ты про RHS?

да

решение - вынести Either e a в голову инстанса

https://gist.github.com/sopvop/1b6bdbf35dc1d5105a061ef295836e15#file-overlap-hs-L64

уродски

после этого компилится?

да

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

скомпилилось у меня тоже, но я чего-то суть не понял

суть в том что m (Either e a) ~ m (Headers h (Either e a)) vs m a ~ m (Headers h a). первное невозможно а второе возможно

одно тайп фэмили согласовывается, а второе нет

не унифицируются

постойте ка

ошибка говорит что о том что LHS у двух тайп фемили друг с другом унифицируемы

может сделать класс class RpcResult e a r | r -> e, r -> a where rpcResult :: r -> Either (OpenUnion e) a для красоты?

ошибка говорит что они конфликтуют

хотя должно быть пофиг, наверное, т.к. тип ассоциирован с инстансом, а инстанс выбирается до этого

головы одинаковые, а RHS не оверлапятся

головы оверлапятся а хвосты нет

муть