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

ну нет, по консольному мы гайд написали ;)

Огромный плюс за это

^^

знаю только brick https://samtay.github.io/articles/brick.html https://github.com/jtdaugherty/brick

За ссылку на туториал спасибо

За ссылку на туториал спасибо

а вот еще с reflex-frp https://hexagoxel.de/postsforpublish/posts/2017-10-30-brick-plus-reflex.html

а вот еще с reflex-frp https://hexagoxel.de/postsforpublish/posts/2017-10-30-brick-plus-reflex.html

Ещё лучше

да, пожалуй это лучшая либа для frp

Подтверждаю, раньше на стрелочных фрп сидел, но монадные гораздо удобнее

Подтверждаю, раньше на стрелочных фрп сидел, но монадные гораздо удобнее

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

Наверняка можно

я просто реализаций не находил

Да самих стрелочных две три имплементации

о, а киньте что-нибудь более-менее фундаментальное про фрп почитать

о, а киньте что-нибудь более-менее фундаментальное про фрп почитать

Conal Elliott

о, а киньте что-нибудь более-менее фундаментальное про фрп почитать

https://stackoverflow.com/a/1030631/3042847

спасибо!

ну и zoo of frp https://github.com/gelisam/frp-zoo

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

Всё же bricks с reflex немного отгнил, т.к. последний апдейт 2017ого года. Придётся ребейзить снова на мастер и снова кишки либы экспозить (что сделано в том туториале)

надо такую для Хаскеля сделать, с операторами из base и lens https://www.ipv6buddy.com

Вопрос, кто-нибудь знает хорошие либы для gui в терминале на ascii? Аля, чтобы можно было такое сделать https://github.com/jesseduffield/lazygit

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

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

Спасибо, уже вожусь с ней

А кто-нибудь в курсе ситуации с полиморфизмом структур, вроде пару лет назад собирались реализовать возможность писать тип 'любая структура в которой есть такие-то поля', но я не нашел ничего подобного в релиз ноутс.

http://hackage.haskell.org/package/base-4.11.1.0/docs/GHC-Records.html

пока только это

{-# LANGUAGE DuplicateRecordFields, DataKinds, FlexibleContexts, TypeApplications #-} import GHC.Records data A = A { a :: Int } deriving Show data B = B { a :: Int, b :: String } deriving Show f :: (Show r, HasField "a" r Int) => r -> String f r = mconcat [ "Record " , show r , " has field 'a' with value " , show (getField @"a" r) ] main = do putStrLn $ f (A 10) putStrLn $ f (B 20 "hello") -- Record A {a = 10} has field 'a' with value 10 -- Record B {a = 20, b = "hello"} has field 'a' with value 20

Понял, спасибо. Кстати собачек ещё не было когда в последний раз смотрел, а тут ещё и со строками. Видимо только синтаксического сахара не хватает.

это TypeApplications (и DataKinds для "строк")

до собачек пользовались Proxy для достижения такого же эффекта

и DataKinds не ново

из нового только HasField

Удобно. Пригодится. Пасиб!

Понял, спасибо. Кстати собачек ещё не было когда в последний раз смотрел, а тут ещё и со строками. Видимо только синтаксического сахара не хватает.

сахар есть, если инстанс для лейблов написать то будет #a r вместо getField @"a" r

сахар есть, если инстанс для лейблов написать то будет #a r вместо getField @"a" r

А какому классу?

А какому классу?

IsLabel

Не найти ?: https://www.haskell.org/hoogle/?hoogle=IsLabel

https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/OverloadedLabels

A new module GHC.OverloadedLabels defines the IsLabel class

Определение класса IsLabel есть на hackage?

Определение класса IsLabel есть на hackage?

пакет base

http://hackage.haskell.org/package/base-4.11.1.0/docs/GHC-OverloadedLabels.html

Не найти ?: https://www.haskell.org/hoogle/?hoogle=IsLabel

не верь хуглу

http://hackage.haskell.org/package/base-4.11.1.0/docs/GHC-OverloadedLabels.html

Пасиб! ?

А какому классу?

{-# LANGUAGE AllowAmbiguousTypes , FlexibleInstances , MultiParamTypeClasses , ScopedTypeVariables , TypeApplications , DuplicateRecordFields , OverloadedLabels , FlexibleContexts #-} module Records where import GHC.OverloadedLabels import GHC.Records instance HasField x r a => IsLabel x (r -> a) where fromLabel = getField @x fb r = if #bar r then #foo r else 0 f1 = fb $ FooBar 42 True -- 42 f2 = fb $ BarFoo True 24 -- 24 data FooBar = FooBar { foo :: Int, bar :: Bool } data BarFoo = BarFoo { bar :: Bool, foo :: Int }

{-# LANGUAGE AllowAmbiguousTypes , FlexibleInstances , MultiParamTypeClasses , ScopedTypeVariables , TypeApplications , DuplicateRecordFields , OverloadedLabels , FlexibleContexts #-} module Records where import GHC.OverloadedLabels import GHC.Records instance HasField x r a => IsLabel x (r -> a) where fromLabel = getField @x fb r = if #bar r then #foo r else 0 f1 = fb $ FooBar 42 True -- 42 f2 = fb $ BarFoo True 24 -- 24 data FooBar = FooBar { foo :: Int, bar :: Bool } data BarFoo = BarFoo { bar :: Bool, foo :: Int }

? пасиб! +

смотрите какую бесполезную множество раз запиленную неэффективную штуку запилил https://gist.github.com/kana-sama/e883549d4e7c44cf854f233115a4ac93 кастомные рекорды на символах + структурный полиморфизм (?) + функция построения рекорда (самое геморное)

На типы надейся, а тест не плошай.

Народ, есть такая задача - сказать стеку, что при обновлении одного файла в репе надо пересобрать кастомный Setup.hs и обязательно перезапустить его configure Пробовал extra-source-files в кабале и TH-ный addDependentFile Это приводит к тому, что Setup.hs когда надо пересобирается, но вот configure заново не делается, сразу идёт build

alias stack=cabal (извините)

а на самом деле посмотреть документацию по setup-depends и можно ли там зависимость от файла сделать

alias stack=cabal (извините)

можно подумать это проблема чисто стека

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

ну я в любом случае не могу уйти со стака :)

https://www.haskell.org/cabal/users-guide/developing-packages.html?highlight=setup%20depends#pkg-field-custom-setup-setup-depends

ну так там только пакеты можно указать

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

@A64m_qb0 не видел ли ты где готовой функции, конвертирующей линзы вида s -> (a, b -> t) в (a -> f b) -> (s -> f t)?

не помню такого

Почему у линз такое контр-интуитивное название?

в смысле?

почему контриннутивное?

ERROR: S client not available

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

Линза это инструмент, который позволяет фокусироваться на части структуры и работать только с ней

я не шарю в линзах, но помню читал какой-то туториал и там было про зум https://hackage.haskell.org/package/lens-4.6.0.1/docs/Control-Lens-Zoom.html вот я тогда подумал "ааа ну теперь понятно почему линзы"

ох зум

меня немного выбесило когда с этим разбирался, что есть zoom, а есть magnify, блин

делают по сути одно и то же

type SimpleLens s t a b = s -> (a, b -> t) lensFromSimple :: SimpleLens s t a b -> Lens s t a b lensFromSimple l f s = let (a, g) = l s in fmap g (f a) ну собственно функция-то просто пишется, просто вроде оба подхода довольно популярны, наверняка где-то есть что-то подобное

Линза это инструмент, который позволяет фокусироваться на части структуры и работать только с ней

Оно вообще на проектор из функана похоже.

Оно вообще на проектор из функана похоже.

Проекторы как метафора не поддерживают композицию

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

Линзы, которые (a -> f b) -> (s -> f t) - это частный случай линз на профункторах ? Сложилось такое впечатление. Если верно, то какие дополнительные возможности появляются ?

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

не помню такого

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

а, ну это сама линза же

Проекторы как метафора не поддерживают композицию

соответствующих размерностей поддерживают же

p : A->B q : B->C скомпозиционируются

делают по сути одно и то же

так ведь ask и get тоже делают одно то же, а называются по-разному

хм...

ну вообще да

тем не менее, я считаю что немного confusing

https://gist.github.com/kana-sama/6ac112aff933a34ea12c4878a80755fd переписал вчерашние рекорды, теперь: a) вся работа с ними изначально через линзы b) они не статичны, то есть можно менять линзами типы полей c) красивые лейблы для линз все бы круто, но они не работают) Там оверлапинг инстанов для генерации линз, которого быть не должно вообще. Тыкал на шару OVERLAPS/PABLE/PING, не помогло, мануал тоже почитал, не помогло (то есть они говорят как правильно расставить приоритет, но там оверлапинг в принципе не должен был появиться). Может кто помочь? Для кода нужны только lens, ошибка возникает в самом конце (в месте использования), инстансы так же выделил комментариями

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

«ван» в «ван Лаарховен» — это предлог

мне лень глядеть после baal но тогда лейблов не было

и сейчас можно проще

а блин нету на гитхабе :/

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

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

у меня были record над вектором Any и линзы которые могут менять типы

но к сожалению я не запушил это на гитхаб и оно на другом ноуте

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

я может завтра-послезавтра осилю смотреть если силы и польза будет :/