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

f (preview _Cons -> Just (x, xs)) = _Cons # (x, xs)
это
f (x:xs) = x:xs

для
_Cons = prism' (uncurry (:)) \case
x:xs -> Just (x, xs)
_ -> Nothing

pattern (:::) :: a -> [a] -> [a]
pattern x ::: xs <- (preview _Cons -> Just (x, xs))
where x ::: xs = _Cons # (x, xs)

f (x ::: xs) = x ::: xs

источник

01:44пожаловаться #6

кана in Haskell

и вот чтобы не писать на каждую призму свой паттерн-синоним, выше на скринах паттерн, который будет работать с любой призмой

источник

01:51пожаловаться #7

Ortofax in Haskell

ладно, какой призме изоморфен паттерн (x :: _)?

источник

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

Ortofax in Haskell

этот паттерн однонаправленный

источник

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

кана in Haskell

тогда траверсалу просто, раз однонаправленный

источник

02:11пожаловаться #10

кана in Haskell

_head, уже готовая

источник

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

Jerzy Syrowiecki in Haskell

если убрать требование первого класса, то точно так же, как выражения — x : xs :: [a], призмы не нужны

источник

08:54пожаловаться #12

Jerzy Syrowiecki in Haskell

@kana_sama переусложняет

источник

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

кана in Haskell

не понимаю

источник

09:02пожаловаться #14

кана in Haskell

там вся задача в первоклассности

источник

09:02пожаловаться #15

Jerzy Syrowiecki in Haskell

как я понял, вопрос про типизацию образца

источник

09:03пожаловаться #16

Jerzy Syrowiecki in Haskell

а про первоклассность товарищ нечаянно упомянул

источник

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

кана in Haskell

ну, у меня раньше возникал похожий вопрос именно про первоклассность

источник

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

кана in Haskell

мол почему в хаскеле конструкторы не первоклассны как минимум

источник

09:20пожаловаться #19

¯\_(ツ)_/¯ in Haskell

как можно (123 :: Word32) поднять до уровня типов?

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

Я хочу написать что-то такое:
data Packet = Packet { code :: MatchValue (0xFF :: Word32), body :: ...} deriving Generic

если значение code совпадёт, то данные продолжат парситься, иначе fail. Вопрос --- как реализовать MatchValue?

источник

09:49пожаловаться #20