ещё есть hasql, и не релизнутый persistent-wire

А у hasql есть доки с примерами использования? Или все что есть на http://hackage.haskell.org/package/hasql ?

Как раз ковыряю postgresql-simple, не нашел например как в реализации FromRow запросить поле по имени. Есть стороння библиотека конечно, но там последний коммит 5 месяцев назад.

Никак нельзя. И на самом деле в этом преимущество библиотеки. В разных запросах эти поля могут называться по-разному, потому что в мире SQL существует переименовывание. Заточка на имя ненадежна. А еще есть SQL запросы, в которых столбцы генерируются динамически. Поэтому заточка по имени опять не сработает.

А у hasql есть доки с примерами использования? Или все что есть на http://hackage.haskell.org/package/hasql ?

не знаю, никогда не искал

мне доков на хаддоках и исходников хватало

Никак нельзя. И на самом деле в этом преимущество библиотеки. В разных запросах эти поля могут называться по-разному, потому что в мире SQL существует переименовывание. Заточка на имя ненадежна. А еще есть SQL запросы, в которых столбцы генерируются динамически. Поэтому заточка по имени опять не сработает.

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

Никак нельзя. И на самом деле в этом преимущество библиотеки. В разных запросах эти поля могут называться по-разному, потому что в мире SQL существует переименовывание. Заточка на имя ненадежна. А еще есть SQL запросы, в которых столбцы генерируются динамически. Поэтому заточка по имени опять не сработает.

ну можно на самом деле, конечно же, аж двумя способами. Один явная аннотация типа что ждёшь и какие-либо рекорды. Второй - ад с синглетонами и динамикой

data MyRow = MyRow Int Foo data Foo = Bar Int | Baz Text

типа того

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

но вообще я лично считаю все orm like желания это плохо

и потом конвертить уже в мой тип

оно не работает, и запилить fromRow или через какой-либо vector-fixed-hetero круче

но чаще предпочитаю руками

data MyRow = MyRow Int Foo data Foo = Bar Int | Baz Text

SQL базы данных очень плохо поддерживают суммы типов. Я подозреваю, что таблица выглядит как-нибудь так: CREATE TABLE my_table ( ctorTag INTEGER NOT NULL, fooBar INTEGER NULLABLE, fooBaz TEXT NULLABLE ); Я прав?

да ) я не люблю SQL базы, но тут решил попробовать

В таком случае, можно воспользоваться тем фактов, что функция fromRow из метода FromRow работает в монаде: instance FromRow MyRow where fromRow = do tag <- field bar <- field baz <- field pure $ fromJust $ case tag of -- можно и получше без fromJust 0 -> MyRow tag . Bar <$> bar 1 -> MyRow tag . Baz <$> baz Этот код, конечно, надо получше написать, чтобы бросать правильные ошибки. Но я надеюсь, что идея примерно понятна.

http://hackage.haskell.org/package/telegram-api Блин, кто-нибудь может мне назвать версию LTS для Stack, в которой эта штука работает и не ломает депсы?

allow-newer пробовал, компиляция ломается.

В таком случае, можно воспользоваться тем фактов, что функция fromRow из метода FromRow работает в монаде: instance FromRow MyRow where fromRow = do tag <- field bar <- field baz <- field pure $ fromJust $ case tag of -- можно и получше без fromJust 0 -> MyRow tag . Bar <$> bar 1 -> MyRow tag . Baz <$> baz Этот код, конечно, надо получше написать, чтобы бросать правильные ошибки. Но я надеюсь, что идея примерно понятна.

Да, круто, то что надо, почему то не подумал об этом. Спасибо

stack solver тоже не осилил решить проблему.

Даже pip в петоне с этим справляется, как так-то?

http://hackage.haskell.org/package/telegram-api Блин, кто-нибудь может мне назвать версию LTS для Stack, в которой эта штука работает и не ломает депсы?

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

а потом посмотрел апи либы и понял, что писать бота на таком желания нет в принципе

Так, и к чему пришёл в итоге?

А, ты про телегоапи, а не про пакет?

я про апи пакета telegram-api

Еще вопрос по постгресу, какая нибудь либа поддерживает user defined types?

пришел в итоге к тому, что написал бота на ноде в 4 строки, кек, благо этот бот того не стоил

Походу опять на питоне писать.

Блин.

Ну вызови теперь это на Haskell

Походу опять на питоне писать.

пиши на js :D

Биндинги к Питону есть

пиши на js :D

Не выходит.

Пробовал.

Увозили на скорой?

Почти.

Я вот через Питон дёргал Tensorflow, норм (кхм...) получалось.

Потому что стандартные haskell-биндинги не получилось поднять

Точнее, с их помощью почему-то модели предобученные не читались

А вот через Haskell <--> Python <--> Tensorflow читались

Такова селяви, как говорят у них

https://github.com/ghc/ghc/commit/aab8656ba0561e56048a1222c396d2d117aca5a7

интересно, сколько пакетов это сломает

-Wall -Wcompat -Werror на оба ваших дома

когда там уже релиз? август к концу подходит

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

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

затем!

ну это-то в 8.8 будет

а 8.6 - я не думаю, что его вовремя зарелизят. какое-то опоздание будет все равно

Эйзенберг тем временем закрыл пропозал по удалению TransformListComp

Закрыл раунд инвестиций в инновации

Еще вопрос по постгресу, какая нибудь либа поддерживает user defined types?

ну на hasql у меня получалось их энкодить/декодить думаю все популярные поддерживают

ну на hasql у меня получалось их энкодить/декодить думаю все популярные поддерживают

не могу понять как это сделать на pg-simple, нет примера на hasql случайно?

Я говорю про постгресовские типы если что

эти https://www.postgresql.org/docs/current/static/xtypes.html

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

есть что-нибудь похожее на Either/Validation, только чтобы оба варианта аппендились, и левые, и правые?

есть что-нибудь похожее на Either/Validation, только чтобы оба варианта аппендились, и левые, и правые?

И при этом чтоб аппликатив был?

И при этом чтоб аппликатив был?

мне сейчас нужен только Semigroup

мне сейчас нужен только Semigroup

Left l <> Right r = ?

есть these, где для этого случая отдельный конструктор

Left l <> Right r = ?

Left l, сваливаемся в ошибки

но я не уверен, что это то, что ты хочешь

Left l, сваливаемся в ошибки

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

ERROR: S client not available

Semigroup — это же просто функция. на самом деле достаточно этой функции даже

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

спасибо

Yuriy Syrovetskiy (1) увеличил репутацию Ilya Yanok (1)

о, даже так можно

говорящий бот, ничоси

и слушающий

а как уменьшить репутацию?

Где читать мануал на работу с data-files и Paths_xxx_xxx?

Где читать мануал на работу с data-files и Paths_xxx_xxx?

1. https://www.haskell.org/cabal/users-guide/developing-packages.html?highlight=paths_#pkg-field-data-files 2. https://www.haskell.org/cabal/users-guide/developing-packages.html?highlight=paths_#accessing-data-files-from-package-code

а как уменьшить репутацию?

-

Влад Чуприн (0) уменьшил репутацию A64m qb0 (-1)

-

+

A64m qb0 (-1) увеличил репутацию Влад Чуприн (1)

ping

ping

-

ping

+

Нинакручиваицца

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

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

-

Aleksey (astynax) Pirogov (1) уменьшил репутацию A64m qb0 (-2)

а когда репутация зашкалит, что будет?

Aleksey (astynax) Pirogov (1) уменьшил репутацию A64m qb0 (-2)

+

Aleksey (astynax) Pirogov (1) уменьшил репутацию A64m qb0 (-2)

-

Сраный комбот

есть что-нибудь похожее на Either/Validation, только чтобы оба варианта аппендились, и левые, и правые?

These а как альтернатива EitherT - ChronicleT

а когда репутация зашкалит, что будет?

переполнение случиться )

кто-нибудь пытался запилить lamdabot для телеграм? интересно, насколько это будет сложно сделать

наверное все еще компилирует telegram-api

:) попробую поиграться и запилить простого бота

На телеграм оч легко ботов делать, у меня в продакшене пара ботов на хаскеле

В общем, как мне вот такой тип: Data.ByteString.Lazy.Internal.ByteString перегнать в JSON для Aeson?