есть, конечно, раз распознал как надо

ну ботов стало меньше, не знаю он или статистик помогли

Он не самый хлебо-сольный. Неприветливый. Неочевидно, которую кнопку нужно жать. Стресс нагоняет, не?

ну давайте бота психолога ещё добавим

Да я переживу. За психологией лучше к людям. Что значит: "идём со мной", не понял. Но в голове моей опилки, так что ничего удивительного.

вообще вопрос не очевидный

"ты хочешь знать о Haskell" с ответами да/нет было бы проще

или да/да

и оба правильные

А сейчас который ответ правильный? Или уже оба?

без понятия

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

но с другой стороны это позволяет переиспользовать код для insert, когда id-шника ещё нет

а есть, какие-нибудь другие адекватные подходы позволяющие code reuse, и не хранить data KeyValue или аналогичный тип

и желательно не как в opaleye с Foo a b где для Id я поидее могу подставить ()

и как бы сделать композабельным hasql

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

а есть, какие-нибудь другие адекватные подходы позволяющие code reuse, и не хранить data KeyValue или аналогичный тип

другие, конечно, есть. Адекватные ли - вопрос неясный. Если интересно, можно мои труды посмотреть github.com/odr/db-schema.

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

ну или хотя бы куда стоит начинать смотреть

я бы предложил начать с app - там какой-то пример

работает только с sqlite, pg не приделывал

делаешь простые рекорды, описывающие таблицы. К ним добавляется TL инфо о pk, fk, uk. Прогоняется через TH. Получаются классы с информацией о схеме БД на уровне типов, и на уровне значений.

Можно сгенерировать БД, как в persistent (без modify). Можно делать DML. Можно сделать другие рекорды - проекции и через них работать. Можно в проекции добавить списки дочерних рекордов и DML их сразу целиком. Ключи будут на лету генерироваться

в общем, с app, мне кажется, можно разобраться. Главное достижение, что оно компилируется вроде приемлемо по времени

обидно coerce не находит само путь между нужными типами без подсказок

и не мержит патч фиксящий проблему

Какой именно патч?

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

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

Какой именно патч?

https://github.com/bos/pool/pull/21

а есть, какие-нибудь другие адекватные подходы позволяющие code reuse, и не хранить data KeyValue или аналогичный тип

beam смотрел?

нет

https://hackage.haskell.org/package/beam

я не гарантирую, что это именно то, что нужно, но а вдруг

я кстати знаю скорее всгео что я хочу

но я это ещё не написал

Кстати, а сахарок в хаскеле будет для экзистенциальных типов когда-нибудь? Или может он в каких расширениях есть? Что бы как в русте impl Trait

мой вариант: {-# LANGUAGE ExistentialQuantification, ConstraintKinds, KindSignatures #-} module Main where import GHC.Exts (Constraint) data Instance (c :: * -> Constraint) = forall a. c a => Instance a a :: Instance Eq a = Instance 1

ещё это обычно называется Some или Exists (их несколько живёт на Hackage) https://hackage.haskell.org/package/exists-0.2/docs/Data-Exists.html

может, какой-то другой сахарок нужен?

class Show a => Foo a where baz :: a -> a data Bar = Bar Int instance Foo Bar where baz x = Bar $ x * 2 bar :: instance Foo bar = Bar 1 barS :: String barS = show $ baz bar

data Instance (c :: * -> Constraint) = forall a. c a => Instance a instance Show (Instance Show) where show (Instance a) = show a a :: Instance Show a = Instance 1 main :: IO () main = putStrLn $ show a

ну да

а, хочется все инстанцы захватить?

это конечно никак

пытаюсь придумать, как написать instance c (Instance c)

видимо никак

почему никак? type FooBar a = (Show a, Typeable a) ... Instance FooBar ...

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

> :set -XConstraintKinds -XGADTs -XFlexibleInstances -XUndecidableInstances -- храним неизвестный тип a с известным интерфейсом c > data Box c where Box :: c a => a -> Box c -- если известный интерфейс Show - можем печатать боксы > instance Show (Box Show) where show (Box x) = show x > [ Box 42, Box "foobar", Box 2.5 ] :: [Box Show] [42,"foobar",2.5] -- если известный интерфейс - rtti - можем извлекать из боксов значения нужного нам типа: > let boxes = [ Box 42.0, Box "foobar", Box 2.5 ] :: [Box Typeable] > mapMaybe (\(Box x) -> cast x) boxes :: [Double] [42.0,2.5] > mapMaybe (\(Box x) -> cast x) boxes :: [String] ["foobar"] -- составной интерфейс > type FooBar a = (Show a, Typeable a) > let boxes = [ Box 42, Box "foobar", Box 2.5 ] :: [Box FooBar] > map (\(Box x) -> (show x, cast x :: Maybe String)) boxes [("42",Nothing),("\"foobar\"",Just "foobar"),("2.5",Nothing)]

почему никак? type FooBar a = (Show a, Typeable a) ... Instance FooBar ...

да, глупость сказал. наверно ещё можно как-то через [* -> Constraint]

а можно instance c (Box c) написать? может deriving via как-то в помощь?

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

^^ @nexmean

а можно instance c (Box c) написать? может deriving via как-то в помощь?

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

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

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

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

Этак мы сегодня планку в 860 преодолеем

Этак мы сегодня планку в 860 преодолеем

круглое число?

Лучше бы 1024

> yes - as for the implementation of the linear types extension, we're aiming for the submission of a Diff before the 8.8 branch is cut. (If the Committee has given the green light by then, of course.)

такое и про 8.6 говорили

тогда не готово было сильно

но сейчас, конечно, уже не так смешно

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

угу

> yes - as for the implementation of the linear types extension, we're aiming for the submission of a Diff before the 8.8 branch is cut. (If the Committee has given the green light by then, of course.)

это где написано, кстати?

а можно instance c (Box c) написать? может deriving via как-то в помощь?

А какой у c тип? Type -> Constraint? Это же не обязательно класс

ghc-dev

а вижу, ответили на августовский вопрос, что там у кого готово из фич

да, там кто-то спросил что с линейными типами

> yes - as for the implementation of the linear types extension, we're aiming for the submission of a Diff before the 8.8 branch is cut. (If the Committee has given the green light by then, of course.)

@nexmean

вроде это он интересуется когда сделают

а @kana_sama вроде интересовался или-паттернами, если это так лучше бы растревожить (хайлайтнуть) кого-нибудь из обсуждавших пропозал в https://github.com/ghc-proposals/ghc-proposals/pull/43 вроде спж или читателя пропозала mchakravarty а то вроде все уже согласились все принять, но опять, судя по всему, просто забыли

@nexmean

Спасибо, жаль точного расписания выхода нет.

наиболее точное в настоящий момент расписание будет * никогда (но это не точно)

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

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

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

я за

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

Внезапно.