Ну то есть если я напишу let ?x = foo ?y = bar in Rec, то оно не выведет, какие там поля в Rec, а если Rec & #x .= foo & #y .= bar, то выведет

ну да

А если убрать эти .=, то получится немножко короче Rec ! #x foo ! #y bar

что-то мне это напоминает а да, мои костыльные keyword arguments

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

так я хочу в серванте сделать что-то вроде: type MyAPI = "fsjkhdf" :> ReqBody (MyRequest foo) :> Post foo

у меня есть хоть какие-то шансы на удачу?

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

при этом хочетя чтобы соотвествие request -> reply типов было

что дает соотв GADT

так я хочу в серванте сделать что-то вроде: type MyAPI = "fsjkhdf" :> ReqBody (MyRequest foo) :> Post foo

Возможно фигню скажу, а сфолдить тип через какую-нибуть type family для списка всех foo?

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

во втором случае, я хотя бы могу сделать user facing API защищенный конечно

так я хочу в серванте сделать что-то вроде: type MyAPI = "fsjkhdf" :> ReqBody (MyRequest foo) :> Post foo

тайп фемилями

по куску что ты запостил непонятно что ты хочешь сделать, но решение это явно TF ?

не тут код генерить надо class types нужны, одних TF не хватит

хочу url выше и data MyRequest a where R1 :: MyRequest Int R2 :: MyRequest String

ну если закрытый кайнд будет типов-вариантов(параметров для MyRequest), то можно на TF

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

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

но придется копипастить код, чтобы был и код и типы нужны классы

у нас в примерно похожем случае 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

не понял

ERROR: S client not available

я не рискнул в 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