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

хоть иди и пиши в ДМК, мол "я тут спиратил вашу книжку и нашёл фактическую ошибку в придачу к десятку опечаток". Хотя по фактическим ошибкам по идее надо слать сразу в Нью-Йорк, хм.

источник

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

[

[BRM]White Rabbit in Haskell

А как использовать guard вне do-нотации? У него какой-то тип непонятный🙃

источник

04:08пожаловаться #5

кана in Haskell

> Just 1 *> guard True *> Just 2
Just 2
> Just 1 *> guard False *> Just 2
Nothing

для Maybe это по сути такая реализация
guard True = Just ()
guard False = Nothing

источник

04:09пожаловаться #6

кана in Haskell

мб ты смотришь не на тот guard

guard :: Alternative f => Bool -> f ()

источник

04:09пожаловаться #7

[

[BRM]White Rabbit in Haskell

да тот я смотрю😢

источник

04:10пожаловаться #8

кана in Haskell

тогда непонятно, что непонятно)

источник

04:11пожаловаться #9

Ortofax in Haskell

let filter_ p v = fmap (const v) (guard (p v))
Prelude Control.Monad> filter_ (>2) 3 :: Maybe Int
Just 3
Prelude Control.Monad> filter_ (>2) 2 :: Maybe Int
Nothing

источник

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

[

[BRM]White Rabbit in Haskell

кана

тогда непонятно, что непонятно)

нифига непонятно🙃

источник

04:14пожаловаться #11

кана in Haskell

vals >>= \val -> guard (test val) $> val
vals >>= \val -> guard (test val) *> pure val
vals >>= \val -> guard (test val) >>= \_ -> pure val
[val | val <- vals, test val]

источник

04:14пожаловаться #12

[

[BRM]White Rabbit in Haskell

ага, $> появиля

источник

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

Ortofax in Haskell

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

источник

04:16пожаловаться #14

Ortofax in Haskell

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

источник

04:17пожаловаться #15

Lierdakil in Haskell

кана

vals >>= \val -> guard (test val) $> val
vals >>= \val -> guard (test val) *> pure val
vals >>= \val -> guard (test val) >>= \_ -> pure val
[val | val <- vals, test val]

Канонический-то вариант потерялся. vals >>= \val -> guard (test val) >> pure val

источник

04:17пожаловаться #16

кана in Haskell

>> не кононичный же, это вроде такое же легаси как и return

источник

04:18пожаловаться #17

кана in Haskell

вместо него вариант с *>

источник

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

Lierdakil in Haskell