у меня припекло

+100

какая либа сейчас актуальна для jwt?

видимо jose

jose

а jose-jwt?

они ж вместе?

нет

Cabal file warning in /home/as/alphasheets/backend/server/.stack-work/downloaded/9sVxDDBoR2Lx/servant/servant.cabal: Unknown fields: build-tool-depends (line 160) Fields allowed in this section: stack поддерживает новый cabal говорили они..

сервант тащит jose

да?

servant-auth который отдельный

в котором jwt реализовано

https://github.com/haskell-servant/servant-auth/

https://hackage.haskell.org/package/servant-auth только base

оно не на hackage ещё

какие фичи будут в 8.6 литералы с подчеркиваниями 1_000_000 какие фичи могут могут быть в 8.6 for_ [1..10] \xs -> do (без $) обсуждаемая выше мутабельные объекты or-паттерны deriving via но большинство не будут, конечно

какие фичи будут в 8.6 литералы с подчеркиваниями 1_000_000 какие фичи могут могут быть в 8.6 for_ [1..10] \xs -> do (без $) обсуждаемая выше мутабельные объекты or-паттерны deriving via но большинство не будут, конечно

а что ща нет derivingvia?

нет

@qnikst ты попутал с http://hackage.haskell.org/package/servant-auth-server

еще есть от @NCrashed либа

нет

этот тип постоянно что-то про это в твиттер пишет https://github.com/Icelandjack

@A64m_qb0 это список оптимизированный под foldMap? https://github.com/sjoerdvisscher/fmlist

@qnikst ааа, это одна экосистема.

я ничего не попутал

я попутал

блин, от серванта не скрыться

этот тип постоянно что-то про это в твиттер пишет https://github.com/Icelandjack

он автор этого расширения. Все перечисленные расширения имплементированы, просто не в HEAD еще

@qnikst так вы это дело используете?

да

блин

хочется на новый сервант, а зависимости его не умеют

а чего там хочется?

Stream

хочется добавить #if MIN_VERSION_servant(0,13,0) {-# DEPRECATED "Use servant Stream instead" #-} #endif

надо бы зопилить

Stream

Это типа сервер пуш для бедных?

если я правильно понимаю, это начать отправлять хрень не формируя ответ заранее

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

Ага, ну это да. Сервант тут сосёт

так вот Stream это решает

у меня есть тоже из патчей и палок

хотелось бы на апстримный перейти

а на чём апи к этим стримам?

и чего 0.13 ещё не зарелизено?

апи уже на гитхабе поглядел

вроде там класс типов специально обученный

у нас есть зависимость на gogol, он не хочет собираться с новым сервантом, а копаться в нём не хочется

он огромный

но вообще прикольно т.к. скорее всего у нас результат будет mixed, сначала json потом csv

но это не точно

это как это "сначала json потом csv"?

в рамках 1 запроса?

ответа

ну я в смысле сеанса запрос/ответ

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

хотя и можно

ну как-это это вроде против спеки

или как-то через multipart?

в смысле?

application/text

text/plain

т.е.

типа типизация на уровне сериализации сервантской?

как-то загадочно если без конверта какого-то...

ERROR: S client not available

можно и конверт сделать

ну с конвертом-то слишком просто, интересней если без конверта можно

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

а то возвращает текст вместо жсона

https://github.com/haskell-servant/servant/issues/841 вот эта шляпа

@lonokhov меня годами это раздражает, я кстати с phadej еще летом на эту тему говорил, он тогда сказал что кому это нужно

ну вот теперь issue есть, уже прогресс

ппц

сервант редиска!

перл норм?

у них type family AddSetCookieAPI закрытая

в итоге если добавляешь свой тип endpoint-а то ты не можешь зопилить авторизацию

Зопили тикет

смысла нету

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

но перейти я туда похоже так просто не могу

Тем временем скоро QuantifiedConstraints и ImplicationConstraints скоро подвезут, кажется. https://ghc.haskell.org/trac/ghc/ticket/2893#comment:28

А это про что?

Да когда Джереми всё успевает заимлементить? http://hackage.haskell.org/package/happstack-authenticate

С линейными также

А как же F E A R L E S S C O N C U R R A N C Y

Драститя

JS принес, братишка?

Бери выше, вижл бейсик

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

А можной юзкейс для этого? А то я не могу представить

Вопрос: есть ли какая-нибудь билдятина сисярпные астшки клеить?

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

какие фичи будут в 8.6 литералы с подчеркиваниями 1_000_000 какие фичи могут могут быть в 8.6 for_ [1..10] \xs -> do (без $) обсуждаемая выше мутабельные объекты or-паттерны deriving via но большинство не будут, конечно

А что, литералы с подчёркиваниями — хорошая вещь. Не прям то, без чего можно прожить, но жизнь облегчает

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

Генерь в js и транспилируй в c#

:troll:

Генерь в js и транспилируй в c#

Многоножка

это фактически одна из двух мегафич, которые смогли пройти через комитет по фичам.

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