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

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

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

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

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

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

О прикольно

диаграмма последовательности - это что-то такое 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 у меня через это сделано

Мне нужены хедеры на частях с файлами, но тут их нет. (А в Снапе есть!)

parseRequestBody+lbsBackEnd дают сразу файлики в виде байтстрингов

можно и в виде файликов сразу

можно и в виде файликов - на то и бакенды

У меня на частях с файлами есть ещё заголовки относящиеся к файлам.

Я не вижу там в FileInfo ничего кроме filename и content-type

Ну так у файла и нет ничего больше

Да ладно?

4.4 Other attributes Forms may request file inputs from the user; the form software may include the file name and other file attributes, as specified in [RFC 2184].

вот other file attributes мне и нужен

а список параметров, которые возвращает parseRequestBodyEx - это не то?

нет, это другие части формы

Снойман сказал нету, значит нету

чего споришь и RFC показываешоь

!!!!1адын

Какой такой RFC?

хм. попробую тогда через аттрибут у content-disposition передать. снап его коряво парсил, может снойман осилил

кстати, в варпах, лучше пользоваться TVar своим или vault хранилищем, в которое ссылка от request есть?

а vault разве не per-request?

короче, no such luck :(

а может, ну тогда TVar

https://github.com/yesodweb/wai/blob/master/wai-extra/Network/Wai/Parse.hs#L429 C-f error

ужаснах

https://github.com/haskell-servant/servant-snap теперь это не кажется таким уж странным

Снап - переусложненное днище, извините

это про heist наверное

снап-то сам по себе простой вроде

Снап простой, но я предпочитаю Request -> IO Response

В снапе роутинг и хэндлинг в одной монаде

Без MonadControl никак