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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell Start

817 membersпожаловаться на группу
2021 January 03

к

кана in Haskell Start
если OP это какой-то оператор +=, %=, ...
то <OP это то же самое, только еще и вернуть новое значение

x <- key "a" ._Number <+= 10
x будет исходным значением в a + 10

если OP это какой-то оператор +=, %=, ... + .=
то <<OP это как OP, только вернуть исходное значение
x <- key "a" . _Number <<+= 10
x будет исходным значением в a
источник
18:56пожаловаться#1

A

Aragaer in Haskell Start
а чем операторы с ~ отличаются от операторов с =?
источник
18:56пожаловаться#2

к

кана in Haskell Start
с = это для стейта
источник
18:56пожаловаться#3

к

кана in Haskell Start
&~ это на самом деле просто execState, он засовывает исходное значение в стейт, и потом =-операторы меняют значение в стейте, и потом &~ возвращает финальный стейт
источник
18:57пожаловаться#4

к

кана in Haskell Start
value &~ stateAction = execState stateAction value
источник
18:57пожаловаться#5

A

Aragaer in Haskell Start
мм.. вроде понятно
источник
19:00пожаловаться#6

к

кана in Haskell Start
со стейтом часто может быть удобнее, потому что можно делать подобные штуки

x :: (Int, Int)
x =
 (10, 0) &~ do
   _1 *= 2
   n <- use _1
   for [1 .. n] \i -> do
     when (even i) do
       _2 += i
   _1 .= 0
   
-- >>> x
-- (0, 110)
источник
19:01пожаловаться#7

A

Aragaer in Haskell Start
с &~ do удобно, можно туда же всовывать еще и let
источник
19:05пожаловаться#8

A

Aragaer in Haskell Start
источник
19:06пожаловаться#9

к

кана in Haskell Start
можно вот такой оператор запилить еще думаю
источник
19:08пожаловаться#10

к

кана in Haskell Start
Aragaer
можно сделать без ифа

let cwd = config ^. pre (key "config" . key "WorkingDir" . filtered (not . null)) . non "/"
источник
19:16пожаловаться#11

к

кана in Haskell Start
тут правда будет несколько иное поведение, в твоем случае если не будет поля "config.WorkingDir", то приложение упадет, а в моем случае будет "/" как дефолтное значение
источник
19:18пожаловаться#12

к

кана in Haskell Start
если заменить у тебя ^?! на ^., то тоже будет "/" как дефолт, даже если поля нет

потому что ^. вернет mempty :: String, пустую строку
источник
19:19пожаловаться#13

A

Aragaer in Haskell Start
null не катит, потому что он Text
источник
19:21пожаловаться#14

к

кана in Haskell Start
а ну not . Text.null или (/= "")
источник
19:22пожаловаться#15

к

кана in Haskell Start
еще можно красиво сделать как
Control.Lens.Empty, Control.Lens.Extra:
filtered (isn't _Empty)
или
Control.Lens.Empty:
filtered (hasn't _Empty)
если уже совсем линзами упарываться
источник
19:24пожаловаться#16

A

Aragaer in Haskell Start
надо будет потом к этому вернуться. Сейчас пока годится текущий вариант и надо разбираться с остальными полями
источник
19:26пожаловаться#17

к

кана in Haskell Start
думаю стоит добавить такой траверсал в свою коллекцию
источник
19:33пожаловаться#18

ЗП

Зигохистоморфный Пре... in Haskell Start
кана
думаю стоит добавить такой траверсал в свою коллекцию
думаю лучше filteredBy
источник
19:39пожаловаться#19

ЗП

Зигохистоморфный Пре... in Haskell Start
https://www.stackage.org/haddock/lts-16.27/lens-4.18.1/Control-Lens-Combinators.html#v:filteredBy
источник
19:40пожаловаться#20