хм, в кметовской либе какой-то свой Const, который еще каинд принимает. А, не, не принимает, просто полиформен по нему Const k a (b :: k) :: forall k. * -> k -> *

Часто вижу, что в доке (hackage), часто не бывает ссылки на source какого либа определения (будь то тип, инстанс, функция)

Почему так?

Для того же Const https://hackage.haskell.org/package/lens-4.15.4/docs/Control-Lens-Getter.html#t:Const

Открой сорцы и посмотри, Const не там определен.

Да, я это знаю, я видел. В том же и вопрос, как он экспортирует их, как он попал в доку, если нет сорцов для этого Const?

Какая-то профессиональная haddoc-магия

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

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

самый простой пример траверсала - traverse

Да, только он чет не композируется с моими линзами

потому что view работает не с линзами, а геттерами, сейчас я пытаюсь ввести эти гетеры

нормально должен композироваться

> let view l = getConst . l Const > view (traverse._2) [(10, "hello"), (20, " "), (30, "world")] "hello world"

не забывай только, что то, на что оно указывает, должно быть моноидом

у меня ругается, что нет моноида для чисел (я хочу список чсел полчить)

Да, я это знаю, я видел. В том же и вопрос, как он экспортирует их, как он попал в доку, если нет сорцов для этого Const?

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

ну обычно дока все равно указывает, откуда это импортировано, не?

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

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

это понятно)

у меня ругается, что нет моноида для чисел (я хочу список чсел полчить)

для чисел нету дефолтного моноида (потому что для них есть сразу два)

кстати про зум

Lens.Zoom

Const a b - аппликатив, когда a - моноид

кто знает про это?)

выбирая моноид можно определять, что мы получим в итоге

для чисел нету дефолтного моноида (потому что для них есть сразу два)

Sum, Product

кто знает про это?)

а что про него знать?

юзкейс

есть некоторый MonadState a x, есть некоторый MonadState s x, причём a - часть s

zoom позволяет их соединить

а получить список чисел можно так [(10, "hello"), (20, " "), (30, "world")] ^..traverse._1

конкретно в моём случае был magnify, соответственно, вместо MonadState был MonadReader

в ридере большой конфиг, который состоит из "подконфигов", соответственно, функция, которая по этому конфигу настраивает некоторую систему, вовсю использует функции, работающие с подконфигами, с помощью magnify

есть некоторый MonadState a x, есть некоторый MonadState s x, причём a - часть s

можно какой-то живой примитивный пример?

что-то типа setupStand = do magnify server setupServer; magnify client1 setupClient; magnify client2 setupClient

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

вот в этой http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html

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

true 😂

Понял, откуда там в траверсе взялся Mononid. Это у Конста есть инстанс Аппликатива при условии, что параметр - моноид

значит, теперь не составит труда написать toListOf

также известный как (^..)

Вопрос по реализации аппликативного конста - почему он так странно написан? (<*>) = coerce (mappend :: m -> m -> m) Когда можно было вот так: (<*>) (Const a) (Const b) = Const (a <> b)

может быстрее?

Вопрос по реализации аппликативного конста - почему он так странно написан? (<*>) = coerce (mappend :: m -> m -> m) Когда можно было вот так: (<*>) (Const a) (Const b) = Const (a <> b)

нет упаковки/распаковки

коерц это как раз делает без переупаковок

кстати можно определить foldMapOf а из него view :D

view l = foldMapOf l id

О!

я вспомнил о одной кате

https://www.codewars.com/kata/lensmaker/haskell

каты это типо наборы заданий?

ну да

как-то странно в таком месте вдруг за перфоманс взяться

https://www.codewars.com/kata/lensmaker/haskell

так а всё что там есть это дескрипшон?

https://www.codewars.com/kata/lensmaker/haskell

мб знаешь еще хороших кат(ов) по хаскелю тогда?

ага по рекурсивным схемам

о

давай

https://www.codewars.com/kata/54f1fdb7f29358dd1f00015d https://www.codewars.com/kata/54289bfc929cdbbbfd000213 https://www.codewars.com/kata/547a77a6b84a1fb8bf000211 https://www.codewars.com/kata/51ba717bb08c1cd60f00002f https://www.codewars.com/kata/555b1890a75b930e63000023 https://www.codewars.com/kata/5424e3bc430ca2e577000048 https://www.codewars.com/kata/526156943dfe7ce06200063e

мб знаешь еще хороших кат(ов) по хаскелю тогда?

Можно задачки project Euler и hackerrank порешать

Детям и девушкам можно посоветовать codingame

Окей, с траверсами было не сложно разобраться таким способом: для начала я написал traverse' максимально под мой юзкейс, без единой тайплевел переменной. Потом потихоньку обобщал до максимума

ну тут не до максимума обобщено, если что

Да, еще можно Applicative использовать

ага, ок

так можно и обычный traverse юзать?

ага

Можно, а что?

@xgrommx traverse – это полноценный травёрсал в van laarhoven линзах (а в профункторных, например – нет) (и Кметт всегда говорит, что мол конечно профункторные линзы хорошо, но круто ведь, что traverse – это травёрсал, и что можно определять травёрсалы без lens)

@xgrommx traverse – это полноценный травёрсал в van laarhoven линзах (а в профункторных, например – нет) (и Кметт всегда говорит, что мол конечно профункторные линзы хорошо, но круто ведь, что traverse – это травёрсал, и что можно определять травёрсалы без lens)

чот не понял

о Артём вернулся

@qnikst ага, я вышел, потому что чатик чуток сильно бесконечно отвлекал

@xgrommx а какую часть не понял? 😉

иногда думаю делать так же

@xgrommx а какую часть не понял? 😉

что профункторные линзы не работают с traverse обычным?

ну traverse хочет функцию, а профункторные линзы должны работать с любым профунктором

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

если хочется почитать, то либо http://oleg.fi/gists/posts/2017-04-18-glassery.html#traversal, либо https://hackage.haskell.org/package/mezzolens

Что означает rating 2.0 и/или λ λ λ?