AV
ещё немного и мне можно делать стрим, почему хаскелистам нельзя давать писать продакшн код 🙁
Size: a a a
2020 May 09
MK
ещё немного и мне можно делать стрим, почему хаскелистам нельзя давать писать продакшн код 🙁
;)
AV
Правда будет ли он production зависит от результа эксперимента
AV
Достаточный для production результат я получил и закоммитил
AV
C TF всё хуже 🙁
AV
Conflicting family instance declarations:
UnnestTo a = '[a] -- Defined at src/Hasql/Encoders.hs:99:8
UnnestTo (a, b) = Eval (UnnestTo a ++ UnnestTo b)
-- Defined at src/Hasql/Encoders.hs:107:8
AV
Это уже вроде никак не решается, кроме как вводом закрытого семейства?
A
ещё немного и мне можно делать стрим, почему хаскелистам нельзя давать писать продакшн код 🙁
вот и тема выступления на фпрог готова! @heyley, запиши
YS
Видимо придётся само разбираться х(
AV
Да поздно уже, надо было процесс до 😕
AV
Как быть, то
AV
Мне нужно по выбранному инстансу определять тип, но чтобы он не участвовал в instance resolution
PP
подскажите, какой случай не рассмотрен?
Prelude> qsort [] = []
Prelude> qsort (x:xs) = qsort (filter (< x) xs) ++ [x] ++ qsort (filter (> x) xs)
Prelude> qsort [3,5,7,4,6]
*** Exception: <interactive>:24:1-72: Non-exhaustive patterns in function qsort
R
подскажите, какой случай не рассмотрен?
Prelude> qsort [] = []
Prelude> qsort (x:xs) = qsort (filter (< x) xs) ++ [x] ++ qsort (filter (> x) xs)
Prelude> qsort [3,5,7,4,6]
*** Exception: <interactive>:24:1-72: Non-exhaustive patterns in function qsort
это два разных определения
qsort, а не два случая одного определенияAV
AV
чтобы многострочне определения вводить
R
заодно и отражает мое отношение к этой фиче
PP
понял, спасибо
YS
addHeaders ∷ HTTP.ResponseHeaders → WAI.Middleware
addHeaders hdrs app req respond = app req $ \response → do
let (st, headers, streamHandle) = WAI.responseToStream response
streamHandle $ \streamBody →
respond $ WAI.responseStream st (headers ⊕ hdrs) streamBody
А зачем тут сначала раскладывают ответ в стрим, а потом - собирают из стрима ио? .-.