В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1621 membersпожаловаться на группу
2021 February 09

к

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

тогда pure это действительно "независимость значения от окружения"
а combine : (f a, f b) -> f (a, b) это "есть зависимость в двух эффектах"
источник
23:18пожаловаться#1

к

кана in Haskell
sequence в данном случае это "такие значения, которые видны из всех окружений в структуре"
источник
23:19пожаловаться#2

к

кана in Haskell
слишком абстрактно конечно
источник
23:19пожаловаться#3

АХ

Алексей Худяков... in Haskell
Такой же аппликатив как зиплист, только ключ не integer, а некий k
источник
23:25пожаловаться#4

к

кана in Haskell
предположим у нас

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" это значение, которое для любого режима будет одинаковым
источник
23:26пожаловаться#5

к

кана in Haskell
то есть я думаю что штука на самом деле достаточно практичная, просто у нас глаз замылился от реальной реализации мапы, и мы считаем ее по дефолту определяющей смысл мапы
источник
23:29пожаловаться#6

MK

Maxim Koltsov in Haskell
всё ещё ничерта не понял, ну ладно
источник
23:29пожаловаться#7

MK

Maxim Koltsov in Haskell
под такое дело можно и ньютай п сделать
источник
23:30пожаловаться#8

YS

Yan Shkurinskiy in Haskell
Maxim Koltsov
всё ещё ничерта не понял, ну ладно
но очень интересно?
источник
23:30пожаловаться#9

MK

Maxim Koltsov in Haskell
да нет, не очень
источник
23:30пожаловаться#10

YS

Yan Shkurinskiy in Haskell
Х(
источник
23:30пожаловаться#11

к

кана in Haskell
Maxim Koltsov
под такое дело можно и ньютай п сделать
ньютайпом не выйдет. Тут нужна или другая реализация мапы, или премапа как выше
источник
23:30пожаловаться#12

к

кана in Haskell
другая реализация мапы поможет и в других вопроса, например как делать бесконечные мапы
источник
23:31пожаловаться#13

MK

Maxim Koltsov in Haskell
бесконечные мапы бизнесу не нужны
источник
23:31пожаловаться#14

к

кана in Haskell
никакой реализации кроме просто
newtype Map k v = Map (k -> Maybe v)
я придумать не могу
источник
23:31пожаловаться#15

YS

Yan Shkurinskiy in Haskell
Maxim Koltsov
бесконечные мапы бизнесу не нужны
А если они свободные?
источник
23:31пожаловаться#16

MK

Maxim Koltsov in Haskell
и иерархические?
источник
23:32пожаловаться#17

к

кана in Haskell
Maxim Koltsov
бесконечные мапы бизнесу не нужны
чуваку из хаскельлерна недавно была нужна, чтобы из файла засунуть все в мапу, но читать из файла только по требованию из мапы, как со списками
источник
23:32пожаловаться#18

YS

Yan Shkurinskiy in Haskell
Maxim Koltsov
и иерархические?
Отож
источник
23:32пожаловаться#19

MK

Maxim Koltsov in Haskell
кана
чуваку из хаскельлерна недавно была нужна, чтобы из файла засунуть все в мапу, но читать из файла только по требованию из мапы, как со списками
ужас какой
источник
23:32пожаловаться#20