Телеграмм чат группы haskellru страница 16456

Size: a a a

Haskell

2021 June 17

я вот написал сейчас

genMaybeIfFoo :: Gen f => Param -> f a -> f (Maybe a)
genMaybeIfFoo p gen
  | isFoo p   = Gen.maybe gen
  | otherwise = pure Nothing

и чувствую, что single responsibility principle нарушается. как бы отсюда Gen.maybe вынести?

источник

13:19пожаловаться #1

Alexey Raga in Haskell

правда, я и не вижу большой проблемы добавить запятую при изменении порядка строк... это явно не самое тяжёлое и неприятное в моей работе 🙂
Тем более что я часто пишу так:


x = [ one
    , two
    , three
    ]

Соответственно вот меня лично в случае первой строки не спасут лишние запятые с любой из сторон 🙂

источник

13:19пожаловаться #2

кана in Haskell

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

источник

13:20пожаловаться #3

кана in Haskell

alwaysNothingUnlessFoo :: Gen f => Param -> f (Maybe a) -> f (Maybe a)
alwaysNothingUnlessFoo p gen
| isFoo p = gen
| otherwise = pure Nothing

genMaybeIfFoo p gen
->>>
alwaysNothingUnlessFoo p (Gen.maybe gen)

источник

13:23пожаловаться #4

Jerzy Syrowiecki in Haskell

мне бы лишняя ведущая запятая понравилась

x = [
  , one
  , two
  , three
]

источник

13:23пожаловаться #5

Jerzy Syrowiecki in Haskell

я об этом подумал сразу, но почему-то отмёл. со второго раза лучше смотрится. спасибо

источник

13:25пожаловаться #6

Jerzy Syrowiecki in Haskell

мне только не нравится двойное отрицание в имени, но я сам придумаю что-нибудь

источник

13:25пожаловаться #7

кана in Haskell

можно еще убрать Maybe вообще

filteredOrDefault :: Gen f => Param -> f a -> f a -> f a
filteredOrDefault p gen def
| isFoo p = gen
| otherwise = def

источник

13:26пожаловаться #8

кана in Haskell

а если Gen это альтернатив, то можно аж

filteredFoo :: Gen f => Param -> f a -> f a
filteredFoo p gen
| isFoo p = gen
| otherwise = empty

filteredFoo p (Gen.maybe gen) <|> pure Nothing

источник

13:27пожаловаться #9

ЗП

Зигохистоморфный Пре... in Haskell

bool def gen . condition?

источник

13:27пожаловаться #10

кана in Haskell

где filteredFoo это специализированный под isFoo guard

источник

13:27пожаловаться #11

кана in Haskell

guard (isFoo p) (Gen.maybe gen) <|> pure Nothing

источник

13:27пожаловаться #12

Alexey Raga in Haskell

genMaybeFromBool :: Gen f => (p -> Bool) -> p -> f a -> f (Maybe a)
genMaybeFromBool f a g = 
  | f a -> Gen.maybe g
  | otherwise -> pure Nothing

источник

13:28пожаловаться #13

Jerzy Syrowiecki in Haskell

альтернатив, но в empty он ничего не генерит, а надо именно Nothing

источник

13:35пожаловаться #14

Jerzy Syrowiecki in Haskell

Gen из Hedgehog

источник

13:35пожаловаться #15

кана in Haskell

поэтому там <|> pure Nothing внешний

источник

13:36пожаловаться #16

кана in Haskell

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

источник

13:36пожаловаться #17

кана in Haskell

тогда функция вообще ничего про Maybe знать не будет

источник

13:37пожаловаться #18

Jerzy Syrowiecki in Haskell

всем спасибо, я понял, что дальше буду делать

источник

13:40пожаловаться #19

Nikita Aleshchenko in Haskell

Всем привет, подскажите, а есть возможность прокинуть произвольную инфу из wai'евского Apllication в wai'евский Middleware, возможно используя Vault / общую MVar? Что-то никик не соображу. Или такой возможности в принципе нет?

источник

14:08пожаловаться #20