@haskellru
A64m16.09.2018
16:43:13
16:43:13
HasField name ((name ::: a) ': r) ((name ::: b) ': r) a b
HasField name ((name' ::: c) ': s) ((name' ::: c) ': t) a b
очевидно оверлапятся
Googlekana16.09.2018
16:44:47
16:44:47
там не будет требуемого HasField name s t a b
A64m16.09.2018
16:45:17
16:45:17
при оверлапе только голова считается
kana16.09.2018
16:45:37
16:45:37
это поведение можно обойти?
A64m16.09.2018
16:45:48
16:45:48
нет
kana16.09.2018
16:46:05
16:46:05
окей, а убрать ошибку тут в принципе возможно?
A64m16.09.2018
16:46:11
16:46:11
вернее разрешением оверлапа можно
kana16.09.2018
16:46:46
16:46:46
и как его разрешить? Конкретный инстанс не указать, прагмы эффекта не имеют
A64m16.09.2018
16:47:03
16:47:03
в смысле?
kana16.09.2018
16:49:20
16:49:20
ну сначала я решил (вроде как нужно) добавить шагу рекурсии {-# OVERLAPS -}, не помогло, и я перебрал разные комбинации OVERLAP[S|PABLE|PING] у обоих инстансов в надежде что что-то прокнет, не помогло
A64m16.09.2018
16:49:59
16:49:59
хммммм
kana16.09.2018
16:51:27
16:51:27
даже так, я перебрал все 9 комбинаций, сейчас еще раз сделал это (ух, тык-дривен-девелопмент)
A64m16.09.2018
16:52:17
16:52:17
overlapping должны били сработать, это как раз если лень думать что там кого перекрывает
Denis16.09.2018
16:54:29
16:54:29
тут рекорды не смотрел?
https://github.com/target/row-types
Googlekana16.09.2018
16:57:06
16:57:06
там другой подход
там хэшмап полей и отдельные row, у меня список полей и роу завязаны на список полей (зависимы)
первый подход (с отдельной мапой на типах и отдельной структурой для полей) предположительно без всяких unsafe/Any/Dynamic не обойтись, так как связи/зависимости между конкретными полями и их типами нет, нужно хранить ее в рантайме (индекс типа например) и кастить
и типа это не так и плохо, но противоречит моей цели
Alexander16.09.2018
17:00:28
17:00:28
можно через олегинг
введением mutiparam type classes и вытаскиванием хвоста в голову
не знаю как четкий алгоритм описать
смысл в том что разбивается класс на 2 класса оснвоной и воспомогательный
kana16.09.2018
17:01:44
17:01:44
продолжай
Alexander16.09.2018
17:02:03
17:02:03
во вспомогательном параметры это голова и хвост
поэтому там можно делать overlap и все чекается
но мне приходится каждый раз когда это делаю очередной раз вспоминать как это делается
вроде тебе в приват я решение какой-то задачки через этот подход кидал?
kana16.09.2018
17:02:56
17:02:56
ух, выглядит как страншый костыль, типа взять проблему выбора инстанса с компилятора на себя, попробую сделать
Alexander16.09.2018
17:03:08
17:03:08
не помню, кому-то умному, но кто с type level магией начинал
давно весьма
kana16.09.2018
17:03:22
17:03:22
да, возможно там про тайп-левел списки что-то было, преобразование его в дерево
Alexander16.09.2018
17:03:55
17:03:55
там вроде похожая фишка использовалась
Denis16.09.2018
17:04:37
17:04:37
а в generic-lens как?
Alexander16.09.2018
17:09:12
17:09:12
не знаю, надо бы посмотреть
GoogleAlexander16.09.2018
17:09:25
17:09:25
а то наверняка я новые модные решения успускаю
kana16.09.2018
17:09:49
17:09:49
https://wiki.haskell.org/GHC/AdvancedOverlap - тут есть подобное?
Alexander16.09.2018
17:10:55
17:10:55
1.2 похожее
kana16.09.2018
17:18:30
17:18:30
1.2 похожее
хм, а там без рекурсии, с рекурсией получается, что в вспомогательном классе будет использован основной, то есть взаимная рекурсия, так и задумано?Alexander16.09.2018
17:18:41
17:18:41
да
Terminator16.09.2018
17:25:33
17:25:33
Arsen Kondratiev будет жить. Поприветствуем!
kana16.09.2018
17:43:42
17:43:42
а можно как-то увидеть контекст дырки? А именно, какие словарики инстансов доступны?
типа вот я сделал
instance A => B
x :: B => a
x = _x
и я хочу увидеть, что в _x у меня доступен словарик A, хотя в общем случае это же не так, хм
A64m16.09.2018
17:45:50
17:45:50
почему не так?
kana16.09.2018
17:46:10
17:46:10
потому что возможно есть другие инстансы B, где нет требования A
instance (flag ~ HFalse) => ShowPred a flag
особенно вот это мне интересно, это какой-то способ указать дефолтное значение флага
kana16.09.2018
17:47:29
17:47:29
но я не понимаю как оно работает
A64m16.09.2018
17:47:37
17:47:37
потому что возможно есть другие инстансы B, где нет требования A
а, я что-то тупанул, думал класс A => Bkana16.09.2018
17:56:00
17:56:00
instance (flag ~ HFalse) => ShowPred a flag
особенно вот это мне интересно, это какой-то способ указать дефолтное значение флага
а, черт, это же просто instance ShowPred a Falsekana16.09.2018
18:04:08
18:04:08
ух, ладно, мутил долго и много, на сегодня сдаюсь
GoogleDmitry16.09.2018
18:30:26
18:30:26
https://gist.github.com/kana-sama/6ac112aff933a34ea12c4878a80755fd
переписал вчерашние рекорды, теперь:
a) вся работа с ними изначально через линзы
b) они не статичны, то есть можно менять линзами типы полей
c) красивые лейблы для линз
все бы круто, но они не работают) Там оверлапинг инстанов для генерации линз, которого быть не должно вообще. Тыкал на шару OVERLAPS/PABLE/PING, не помогло, мануал тоже почитал, не помогло (то есть они говорят как правильно расставить приоритет, но там оверлапинг в принципе не должен был появиться). Может кто помочь? Для кода нужны только lens, ошибка возникает в самом конце (в месте использования), инстансы так же выделил комментариями
Я автоматически делаю HasLensB (b::Bool) .... where flensB .... Потом flens = flensB @(x == y) и два инстанса HasLensB ('True | 'False) .... Надеюсь, что это в тему и решает проблему.kana16.09.2018
18:31:14
18:31:14
вот ща так пытался делать, ошибка не исчезла
Yuriy16.09.2018
18:40:18
18:40:18
а, черт, это же просто instance ShowPred a False
C False даст определить C True в другом месте программы, а x ~ False => C x не дастAlexander16.09.2018
18:58:03
18:58:03
что у нас из memotrie хорошего есть?
AdminERROR: S client not available
Alexander16.09.2018
18:58:55
18:58:55
коноловоский нужно оптимизировать
иначе он не клёвый
т.е. с теор точки зрения он клёвый конечно
хотя в моём случае можно и свою мапу положить
Dmitry16.09.2018
19:58:16
19:58:16
вот ща так пытался делать, ошибка не исчезла
Вот сделал https://gist.github.com/odr/7907998753255ff86b23e816b5d9b621kana16.09.2018
19:59:11
19:59:11
Вот сделал https://gist.github.com/odr/7907998753255ff86b23e816b5d9b621
ого, спасибо, а что за ==-тип?Dmitry16.09.2018
19:59:21
19:59:21
надеялся обойтись одним классом HasLensB, но не получилось. Пришлось использовать еще HasLens
Dmitry16.09.2018
19:59:52
19:59:52
Там рядом другой gist лежит на ту же тему, 4-месячной давности ;-)
тоже здесь спрашивали...
timCF16.09.2018
20:10:56
20:10:56
привет!
пишет кто-нибудь юнит-тесты с использованием библиотеки tasty?
мне надо как-то протестировать там функцию которая возвращает значение в обёртке IO
GoogletimCF16.09.2018
20:11:43
20:11:43
чёт не могу найти как это правильно сделать
Yuriy16.09.2018
20:14:39
20:14:39
мне надо как-то протестировать там функцию которая возвращает значение в обёртке IO
на одном значении или на куче произвольных?timCF16.09.2018
20:15:37
20:15:37
на одном значении
вот пример
https://github.com/timCF/happeteer/blob/771d568d9774364f8328ba55ca2d937e0594cabb/test/HappeteerTest.hs
вроде написано правильно но тест не компилится
Yuriy16.09.2018
20:16:16
20:16:16
подключить tasty-hunit, взять оттуда testCase
Maxim16.09.2018
20:17:00
20:17:00
хм, а можете по-простому объяснить в чем принципиальное отличие The Elm Architecture от FRP?
извиняюсь, если вопрос звучит глупо
Yuriy16.09.2018
20:17:20
20:17:20
Andrey16.09.2018
20:17:53
20:17:53
а можно объявлять временные типы данных в where внутри функции?
...
where data X = X
...
Yuriy16.09.2018
20:18:21
20:18:21
timCF16.09.2018
20:18:33
20:18:33
Yuriy
вот такая ошибка при попытке запустить тест
• No instance for (Eq (IO (Scraped URL)))
arising from a use of ‘assertEqual’
timCF16.09.2018
20:19:19
20:19:19
мои собственные типы deriving (Show, Eq, Ord)
я думаю тут вся сложность в IO
Открыть в Telegram