у нас в примерно похожем случае existential, но дизайн жутко не нравится по сути вылезает динамическая типизация, ну и связи с типом ответа нет, правда

hello

Hello, nice name.

А есть какой-нибудь nohello по аналогии с neprivet?

а что есть neprivet?

coprivet is privet^op

neprivet.ru или как-то так

Ссыль, которую кидают, когда кто-то заходит в чат и сразу пишет отдельным сообщением "Привет".

А потом ещё минут 5 набирает сообщение по сути.

nohello.com

Хм, надо же. Как очевидно при этом, лол. Даже сам думал проверить, но мне было лень.

Это как 15+ лет назад в irc любили на вопрос "где" посылать на сайт немецкой стоматологии?

Обожаю ваш лямбда-юмор!

лямбда-юмор можно карировать?

Я люблю постить ко-юмор

@qnikst про http://blog.roman-gonzalez.ca/post/170390559402/capataz-01-released ты не особо в курсе?

@qnikst про http://blog.roman-gonzalez.ca/post/170390559402/capataz-01-released ты не особо в курсе?

https://romanandreg.gitbooks.io/capataz/content/v0.1/git-synchronizer-tutorial.html там еще и ссылка на тутор

я не пойму, оно треды супервайзит или процессы?

https://storm-country.com/blog/gof-strategy

ну речь вроде про форкио

какие там процессы

ну вообще да

но я не вчитывался, есть ли там IPC какой

вроде нет. это чисто деревья тредов

полезно поди

не в курсе

там 100600 либ

подобных

но в наше время, когда у всех независимые друг от друга микросервисы общающиеся джейсоном по http, нужен ли OTP?

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

микросервисы на одной машине, общающиеся по http - это как-то очень жирно

но но gRPC

а еще они такие независимыве что ваще

с http2 да ещё и с мультиплексированием оно вполне норм может быть

но это либы полноценные нужны

не так и много оверхеда

а что с gRPC для хаскеля? Гугловый протобаф на линзах жив ли?

https://hackage.haskell.org/package/proto-lens ну хотя-бы на хакадж выложили

https://hackage.haskell.org/package/proto-lens ну хотя-бы на хакадж выложили

а в чем профит от прото линз?

а в том что другие пакеты для протобаф вообще не умеют генерить из .proto

и не поддерживают proto3

а что с gRPC для хаскеля? Гугловый протобаф на линзах жив ли?

у нас использовали немного, но как-то не в восторге от либы

а в том что другие пакеты для протобаф вообще не умеют генерить из .proto

не понял

я не рискнул в alphasheets тащить пока

не понял

https://developers.google.com/protocol-buffers/

я не рискнул в alphasheets тащить пока

я вот тоже считаю что нужно на CBOR делать :)

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

https://developers.google.com/protocol-buffers/

для сериализации данных?)

так то, http2 это ж framing протокол, не?

для сериализации данных?)

ага. и у гугла gRPC поверх этого дела

payload можно любой, данные/cbor и т.д.

так то, http2 это ж framing протокол, не?

А, ты про это. ну да. там можно что хошь

в gRPC конечно да, привязаны протобуфы

Говорят в gRPC теперь и json можно

ага. и у гугла gRPC поверх этого дела

то есть я могу сериализовать ADT? тут же кто-то делал такую идею, вроде Дмитрий (я доклад как-то смотрел)

а что мешает сериализовать ADT сегодня?

то есть я могу сериализовать ADT? тут же кто-то делал такую идею, вроде Дмитрий (я доклад как-то смотрел)

вопрос не в том что ты можешь сериализовать, вопрос что ты сможешь десериализровать в go,c++,python

вообще http2 похож на network-transport с упрощениями некоторой части (разные типы соединений) и усложнением, более широкий набор дефолтных событий и т.п.

ещё и попсовый, т.е. если бы были либы хорошие, то нормальный кандидат для использования

еще в gRPC есть какая-то хитрая логика с восстановлением подключений и видимо ack сообщений

вопрос не в том что ты можешь сериализовать, вопрос что ты сможешь десериализровать в go,c++,python

типа перегон из адт в го или пайтон?

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

@qnikst ну да. 4 конструктора в вебсокетах и 11 в http2 https://hackage.haskell.org/package/http2-1.6.3/docs/Network-HTTP2.html#t:FramePayload vs https://hackage.haskell.org/package/websockets-0.12.3.1/docs/Network-WebSockets.html#t:Message

кто объяснит юзкейс для индексед монад и прочих конструкций?

хранить Typelevel state

например состояния ресурсов, или стейт мьютекса или ещё что

ну вот какой-то вменяемый пример

который может меняться при переходе

я тебе его уже писал

можно кодом

lock :: MutexMonad a Free Locked () unlock :: MutexMonad a Locked Free () update :: (a -> (a,b)) -> MutexMonad a Locked Locked b view :: a -> MutexMonad a k k a

кто объяснит юзкейс для индексед монад и прочих конструкций?

Автоматы

а вообще в блогах выпендриваться, оно даже с RebindableSyntax тяжко для использования

там еще как-то можно типизировать переменные в edsl

у кметта в статье про bound было

ресурсы нормальные можно зопилить

у кметта в статье про bound было

это про всякие De Bruijn index

где стек не нужен

ну у тебя в стейте монады хранится соотвествие индекс - тип

это про всякие De Bruijn index

который succ less