неа

а ещё у Никиты очень сложно либы внутри читать

но это принципиальный вопрос похоже

а новый-то вообще допиливается, или этот проект помер давно?

@vlastachu не в курсе?

Никита и в этом чате же есть, но я ник не помню

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

или есть отдельно пакет hasql-2?

а автор либы - Никита - тут участвует? вообще-то в описании пакета есть его емайл.

@wormholio

речь про тот проект про который автор пару докладов в прошлом году делал

про нативный клиент, а не байндинги к сишной либе

А подскажите, есть у ghc какая-нибудь опция, чтобы он завершал работу после первой же найденной ошибки, а не выводил простыню всех ошибок?

Не совсем то, но может помочь. Есть опция, которая показывает ошибки в обратном порядке: https://stackoverflow.com/questions/51287431/is-it-possible-to-invert-the-order-errors-are-displayed?noredirect=1&lq=1

Не совсем то, но может помочь. Есть опция, которая показывает ошибки в обратном порядке: https://stackoverflow.com/questions/51287431/is-it-possible-to-invert-the-order-errors-are-displayed?noredirect=1&lq=1

Во, так даже лучше, спасибо!

про нативный клиент, а не байндинги к сишной либе

я тогда не смог найти то о чём он говорил

а новый-то вообще допиливается, или этот проект помер давно?

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

постргрес ругается что ему передали текст

Там жёстко запаяны идентификаторы типов. Если использовался энкодер uuid, текст там всплыть никак не мог. Скорее всего, баг снаружи Hasql.

ну вот у меня вызывается "DELETE .. WHERE id =$1". Encoder верный, в функцию, что надо подаетс

Там жёстко запаяны идентификаторы типов. Если использовался энкодер uuid, текст там всплыть никак не мог. Скорее всего, баг снаружи Hasql.

а где у тебя там сериализация всего?

Private.* не экспортирован, а по гитхабу ползать так себе

Сериализация вынесена в отдельную либу: https://hackage.haskell.org/package/postgresql-binary

ага, спасибо

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

по теме сериализации через Generic & Binary (не по hasql): есть ли разница в размере выходной байт строки, если сериализовать data A = A { a::Integer, b::Integer } или data A = A Integer Integer ?

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

Я рекомендую в логи Постгреса посмотреть. А ещё последние версии Hasql ошибки сопровождают SQL и значениями, на которых ошибки произошли

по теме сериализации через Generic & Binary (не по hasql): есть ли разница в размере выходной байт строки, если сериализовать data A = A { a::Integer, b::Integer } или data A = A Integer Integer ?

Нет

Нет

пасиб! ?

@artemohanjanyan будет жить. Поприветствуем!

в SQL логах не больше информации

no operator matches the given name and argument type(s)

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

Сериализация вынесена в отдельную либу: https://hackage.haskell.org/package/postgresql-binary

а где сама сборка запроса постгресу, где все OID поставляются? Есть там unsafePerform или какой-нибудь Text-Builder?

https://github.com/nikita-volkov/hasql/blob/master/library/Hasql/Private/Session.hs#L46

Суть в том, что вот этот тип собирает все OID и прочую мета-фигню: https://github.com/nikita-volkov/hasql/blob/master/library/Hasql/Private/Encoders/Params.hs Потом всё финализируется в типы, которые есть libpq

просто пока единственное объяснение(кроме того что кластер Гугла обстреляли нейтрино), это то что в билдере какой-то редкий баг

что у меня при сборке запроса не тот OID записан

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

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

учитывая, что регулярно обнаруживаются баги в гхц https://git.haskell.org/ghc.git/commitdiff/fd7a7a6363d8dde1813bc23cb4ef00ebb70a49c0 вроде такого, тут и космические лучи не нужны

или в основных библиотеках вроде такого https://github.com/haskell/text/issues/197

байтстринговый баг с записью в один байтстринг я не помню как найти

он в релизе не был

в их коде написаны ссылки

Private.* не экспортирован, а по гитхабу ползать так себе

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

крч есть вопрос как мне сгенерить uuid? вроде system-uuid должен помочь но у меня типы не совпадают с Data.UUID из пакеты uuid

я в документации нажимаю на source

и читаю сырцы на хаддоке

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

просто UUID же умеет V4

и читаю сырцы на хаддоке

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

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

просто UUID же умеет V4

аа чет не заглянул туда

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

да, поэтому я очень люблю хаддоки

такие доки-исходники со ссылками не для всего сгенерены

да и когда выкладывал пакет не особо видел как я влияю на эти доки

можно самому загрузить

а так хаддок сервер их билдит

@upsilon будет жить. Поприветствуем!

да и когда выкладывал пакет не особо видел как я влияю на эти доки

Если заминка с доками, > cabal haddock на месте создаёт доки для пакета. Сразу можно открыть и посмотреть тут о форматах: https://haskell-haddock.readthedocs.io/en/latest/markup.html

Хозяйке на заметку https://twitter.com/mattoflambda/status/1029732028512493568

Хозяйке на заметку https://twitter.com/mattoflambda/status/1029732028512493568

Я скобки ставил , надоело

чот телеграм фмапы при цитировании твита сожрал

Хозяйке на заметку https://twitter.com/mattoflambda/status/1029732028512493568

+

Sergey Ivanov (1) увеличил репутацию λeonid Onokhov (1)

ERROR: S client not available

/stat@combot

combot.org/c/-1001043143583

?

я вчера не тем компилятором собирал, как оказалось, заметил сейчас когда решил с ORF сравнить, а ORF-то не компилируется, потому что 8.0.2

> Binary sizes are on the order of 100M, which is clearly absurd.

(новости компиляции хаскеля в вебасембли)

ну и комитетчики приняли https://github.com/ghc-proposals/ghc-proposals/pull/126

линзовопрос как (a ^. lens1, a ^. lens2, a ^. lens3) записать через someOperation a (lens1, lens2, lens3)? someOperation должен как-то делать это

геттеры оборачиваются в какую-то обертку, для которой инстансы Applicative и Arrow есть, а дельше вроде понятно

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

(~&~) = liftA2 (>=>) (1, 'a', 2) & (_1 ~&~ _3) %~ (*3) но это немного не то

если только гетать, то аппликатив + несколько view

скажите действующее на август 2018 заклинание чтобы собрать статический бинарь. по возможности без докера.

от libc зависеть можно, от либ в где-то в хоме разработчика нет

написать на go

(прости)

можно вроде линкеру сказать, что долинковать статически

--ghc-options=-optl-Wl,--whole-archive --ghc-options=-optl/.../libffi.a --ghc-options=-optl-Wl,--no-whole-archive я как-то так делал (давным давно)

долинковать то ладно.. оно даже сами пакеты не может собрать не убиваясь об -fPIC

libHS....so - вот этот бы мусор убрать

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

Посмотри, как stack собирают

у меня в серванте есть 2 типа query1 :<|> query2 и query1 :<|> query2 :<|> query3 и я хотел сделать type Api = ApiWithoutQuery3 :<|> query3 и всё ок до тех пор пока не начинаю описывать терм для Api если записать с дублированием то всё ок, иначе говорит что не совпадают типы (и читать что там не совпадает сложновато

хотя казалось бы type ничего особо не вносит в тип

а хотя кажись доходит он :<|> применяет к самому последнему типа из цепочки arg ? arg2 ? Post ...

хмм тики не помогли

от libc зависеть можно, от либ в где-то в хоме разработчика нет

по умолчанию программа зависит только от linux-vdso.so.1 (0x00007ffcbc74b000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f6045b6b000) libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5 (0x00007f6045941000) libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f60455b3000) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f6045396000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f6045177000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f6044f6f000) libutil.so.1 => /lib/x86_64-linux-gnu/libutil.so.1 (0x00007f6044d6c000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f6044b68000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f60448e7000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f60444f6000) /lib64/ld-linux-x86-64.so.2 (0x00007f6045f09000) libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f60442de000) этого недостаточно?

а хотя кажись доходит он :<|> применяет к самому последнему типа из цепочки arg ? arg2 ? Post ...

а что у :<|> с фиксити? Может скобок надо добавить?

всё решил (хотя как обычно до того как написал было сложно)

скобки бы там не помогли какая разница type Api = ... или type Api = (...)