Телеграмм чат группы fprog

class IsList a => IsListWithPat a where
  pattern Nil :: a
  pattern Cons :: (Item a) -> a -> a

safeHead :: IsListWithPat a => a -> Maybe (Item a)
safeHead Nil = Nothing
safeHead (Cons x _) = Just x

источник

14:26пожаловаться #5

Yuuri in fprog_spb

Хотя, это же самое через ViewPatterns и toList судя по всему проще
Ладно, вопрос пока снимается :o)

источник

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

Jerzy Syrowiecki in fprog_spb

@Yuu_chan https://gist.github.com/cblp/8e014dab9c7b4fb2847b71d5a9160660

Gist

open-union AST

open-union AST. GitHub Gist: instantly share code, notes, and snippets.

источник

16:52пожаловаться #7

Alexander Tchitchigi... in fprog_spb

Jerzy Syrowiecki

@Yuu_chan https://gist.github.com/cblp/8e014dab9c7b4fb2847b71d5a9160660

Gist

open-union AST

open-union AST. GitHub Gist: instantly share code, notes, and snippets.

{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE UndecidableInstances #-}

О! Сразу видно — серьёзный код! 😃

источник

16:55пожаловаться #8

Jerzy Syrowiecki in fprog_spb

TypeFamilies — это уже давно обычное дело

источник

17:00пожаловаться #9

Yan Shkurinskiy in fprog_spb

Без тайпфемели вообще что-то сложнее хелловорлда уже неприятно писать (

источник

17:07пожаловаться #10

Alexander Tchitchigi... in fprog_spb

Да вообще очень скромный список прагм.

источник

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

Jerzy Syrowiecki in fprog_spb

UndecidableInstances нужен для одной маленькой штучки (\/) и, наверно, его можно обойти

источник

17:26пожаловаться #12

Aleksei (astynax) Pi... in fprog_spb

Alexander Tchitchigin

Да вообще очень скромный список прагм.

Скоро будет только LANGUAGE GHC2021 ;)

источник

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

Kir in fprog_spb

Aleksei (astynax) Pirogov

Скоро будет только LANGUAGE GHC2021 ;)

🎉

источник

17:30пожаловаться #14

Antonio in fprog_spb

и GHC2021Ext

источник

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

Aleksei (astynax) Pi... in fprog_spb

Лишь бы приняли пропозал...

источник

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

Aleksei (astynax) Pi... in fprog_spb

"тогда заживём"

источник

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

Kir in fprog_spb

Тогда, наверное, не надо будет даже компилять

источник

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

Aleksei (astynax) Pi... in fprog_spb

Kir

Тогда, наверное, не надо будет даже компилять

👍

источник

17:46пожаловаться #19

Aleksei (astynax) Pi... in fprog_spb

"Нам наверное ваще не надо будет компилять"

источник

17:46пожаловаться #20