к
ужас какой
удобно говорить "ужас", когда это опровергает позицию)
Size: a a a
2021 February 09
MK
да
MK
не спорю
MK
ты что думал я с тобой буду нормально дискутировать?)
MK
а кейс вполне нормальный, если в целом ленивое IO считать нормальным
вот именно
MK
я не считаю
IR
предположим у нас
data Mode = Dev | Prod | Test
data Config a = Config
{ key_1 :: a
, key_2 :: a
}
traverse :: (a -> Map Mode b) -> Config a -> Map Mode (Config b)
получаем конфиги от режима, но только в том случае, если все ключи прописаны для этого режима
а "pure x" это значение, которое для любого режима будет одинаковым
data Mode = Dev | Prod | Test
data Config a = Config
{ key_1 :: a
, key_2 :: a
}
traverse :: (a -> Map Mode b) -> Config a -> Map Mode (Config b)
получаем конфиги от режима, но только в том случае, если все ключи прописаны для этого режима
а "pure x" это значение, которое для любого режима будет одинаковым
о, это же distributive/representable опять.
и тоже для апликатива..
и тоже для апликатива..
2021 February 10
MK
ещё больше математики!
IR
deriving via Math
deriving stock (Show, Functor, Foldable, Traversable, Generic, Generic1)
deriving Applicative via (Co Collection)
deriving anyclass (Representable)
instance Distributive Collection where
collect = genericCollect
к
что такое Map k, если думать о нем как об эффекте? Это по сути множественный ридер, где указано много разных вариантов окружения, и в зависимости от разного окружения может быть разное значение, но окружения может и не быть
тогда pure это действительно "независимость значения от окружения"
а combine : (f a, f b) -> f (a, b) это "есть зависимость в двух эффектах"
тогда pure это действительно "независимость значения от окружения"
а combine : (f a, f b) -> f (a, b) это "есть зависимость в двух эффектах"
так получается, что Map k это MaybeT (Reader k), для которого уже все нужные инстансы определены, и определены именно так как нужно
ЗП
но у Map вроде есть traversable
http://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Map-Internal.html#v:traverseWithKey
http://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Map-Internal.html#v:traverseWithKey
ЗП
[
а я же правильно понимаю, конкатенация стринг в хаскеле не стоит почти нихера? С учётом того, что это список чаров.
TZ
Она стоит длину первой строки (если речь о String)
MK
Не стоит почти ничего добавление нового чара в начало
[
так а в смысле?
Берёшь и переписываешь пару адресов, вот тебе новая "строка".
Или там типа создаётся новая строка, а потому сначала надо скопировать исходные?
Берёшь и переписываешь пару адресов, вот тебе новая "строка".
Или там типа создаётся новая строка, а потому сначала надо скопировать исходные?
MK
В смысле перерисываешь
MK
Сначала конец найти надо