и все будет

(бан за наглую рекламу)

невозможно :( мб в следующем году разве что

ну вот, the Артёма забанили

о кстати, а за что меня забанили?

ко мне какой-то терминатор пришёл и две пилюли предложил, я ткнул в рандомную

так я смотрю @qnikst тоже в _blah скатывается :D

@drcha0s но есть же стериотипы, что это работает

дык я не против!

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

ненене

я шутил

все шутят fix шутка

неидеальный мир

все шутят fix шутка

это уже две шутки я запомню, что с тебя ещё совет

есть ли такая тулза, чтобы посмотреть, какая у меня в коде самая глубокая цепочка "функция A использует функцию B использует функцию C..."?

Для нашего аудита мы подумываем сделать что-нибудь поюзабельней из haskell-indexer

Артему вроде нужна же динамическая инфа?

вообще был source-graph

не, статическая как раз

вообще был source-graph

о, погуглю

не уверен, что он живой

вроде лет 6 назад у меня он валился на моих проектах

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

ура, второй совет сработал

(надеюсь это за шутку не считается)

какого?

Казака. он таки вернулся

а как мы с ним разговариваем?!

не знаю. почему-то сообщение о присоединении исчезло, как это обычно бывает, если терминатору не ответить

в логах вижу бан а потом бот все вернул

От железного чурбана есть какой-то прок?

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

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

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

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

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

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

"ты хочешь знать о 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 как-то в помощь?