да

стаднартный Олеггинг

ага, я примерно понял

впрочем, я сейчас сидя дома на vinyl сделал то, что полтора дня делал на работе руками

что-то у меня этот ваш телеграм сам пишет в чат, прямо из гибернации

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

жутковатые сигнатуры получаются: event :: t ∈ m => (forall f. Lens' (Rec f m) (f t)) -> Dir -> MEvent t -> Sequence m ()

но пользователю иметь дело только с Sequence '[A, B] a, так что супер

Vasiliy: а где ты все это применяешь вообще?

тебя интересует конкретный момент со списком типов?

или задача в целом?

Задача

В сервант-сервере каждый комбинатор QueryParam/QueryFlag/QueryParams заново парсит и строит мапу квери-паромов

Меня впринципе интересует, где можно применять хаскель и весь этот теоркат

Что-то тут не так

Или в случае с ленью это не такая уж и большая проблема?

Да это же не теоркат

Он тайплевел-программирование у него просто

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

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

Применения два: - дсл на уровне типов (хз как жить без серванта) - "зависимые" типы для формализация и более точных типов

О прикольно

диаграмма последовательности - это что-то такое https://www.smartdraw.com/sequence-diagram/img/sequence-diagram.jpg?bn=1510011091

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

Ништяк!

Вот ей-богу достойная для х-я задача, а не все эти котики в монгодб...

лол

я так-то на плюсах пишу, это так, вспомогательный инструмент

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

а, ещё система сборки на нём...

Вот это меня интересует, кто может сказать что? Там из реквеста достается ByteString квери, парсится в [(Text, Maybe Text)], lookup

В сервант-сервере каждый комбинатор QueryParam/QueryFlag/QueryParams заново парсит и строит мапу квери-паромов

Что-то тут не так

Или в случае с ленью это не такая уж и большая проблема?

Похоже просто для души там хаскель :-)

может, там мемоизация какая срабатывает?

Вот меня и интересует, хаскель как-то помогает это и соптимизировать?

Похоже просто для души там хаскель :-)

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

А шейк что это?

если что https://hackage.haskell.org/package/shake

рекомендую всем и каждому

хомпага http://shakebuild.com/

Аа

Клёвая!

Вот меня и интересует, хаскель как-то помогает это и соптимизировать?

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

но мне кажется, что ничего там не оптимизируется

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

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

Да и склеить хэндлеры сложновато

т.е. type Api = "world" :> ("hello" :<|> "goodbye") вместо type Api = "world" :> "hello" :<|> "world" :> "goodbye"

согласен

да и пути до конкретных эндпоинтов нужны, для сваггера, например

и для safe links

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

сервант парсит query/header только после того как статические пути все обойдёт.

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

В одном эндпоинте

т.е. "foo" :> QueryParam "blah" Int :> "xxx" - сначала сматчит "foo" / "xxx" и только потом будет смотреть что там в "blah"

да, точно, у него же есть вот такая штука https://hackage.haskell.org/package/servant-server-0.11/docs/Servant-Server-Internal-RoutingApplication.html#t:Delayed

вообще там где-то был принтер для дерева этого

и в этот Delayed комбинаторы накидывают парсеры параметров и прочее

Да, я уже с ним работал

Но я только теперь понял, для чего он)

https://hackage.haskell.org/package/servant-server-0.11/docs/Servant-Server-Internal-Router.html#v:routerLayout вот ещё полезно

@qnikst, я не смог те примеры довести до состояния, чтобы вылетела описываемая ошибка

@cblp_su я чота с другими вещами завис

может завтра попробую минимальный кейс собрать

https://twitter.com/lexi_lambda/status/910576100484382721

Надо посоветовать ему что-то подобное :D

у меня вскод меняет цвет скобочек в зависимости от уровня вложенности

бесполезная фича

эстетичная как минимум

https://twitter.com/lexi_lambda/status/910576100484382721

Воу-воу-воу. Это что, смесь Lisp и Haskell?

Воу-воу-воу. Это что, смесь Lisp и Haskell?

Это хаскельподобный (не синтаксически) язык для Racket

то есть да, смесь Lisp и Haskell

Есть под Wai более вменяемый мультипарт, нежели http://hackage.haskell.org/package/wai-extra-3.0.20.0/docs/src/Network-Wai-Parse.html?

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

@lonokhov у меня через это сделано