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

type family IsPrefixOf' xs ys :: Constraint where
IsPrefixOf' '[] _ = ()
IsPrefixOf' (x : xs) (y : ys) = (x ~ y, IsPrefixOf' xs ys)

даже так редурант

источник

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

кана in Haskell

выглядит так, будто редурант все, кроме тайпклассов

источник

22:56пожаловаться #5

кана in Haskell

f :: a ~ b => a -> b -> (a, a)
f x y = (x, y)

а вот это не redurant

в отличии от

f :: a ~ b => a -> b -> (a, b)

источник

22:56пожаловаться #6

IC Rainbow in Haskell

у меня даже тайпкласс redundant

источник

22:57пожаловаться #7

кана in Haskell

понял, если коершн требуется, но не используется - он редурант

источник

22:57пожаловаться #8

кана in Haskell

IsPrefix превращается в () или ошибку, это редурант офк

~ True не исползуется в теле функции, редурант

источник

22:58пожаловаться #9

Сергей in Haskell

0xd34df00d

Я давно не писал на хаскеле и всё забыл.

мне два чизбургера пожалуйста!

источник

22:58пожаловаться #10

Yan Shkurinskiy in Haskell

Дедфуд не настолько не знает хаскель х)

источник

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

IC Rainbow in Haskell

Сергей

мне два чизбургера пожалуйста!

в блах

источник

22:59пожаловаться #12

Сергей in Haskell

IC Rainbow

в блах

это я про его статью напоминаю

источник

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

Сергей in Haskell

хорошая кстати

источник

23:00пожаловаться #14

0xd34df00d in Haskell

Что-то я какой-то ерундой занимаюсь, похоже.

источник

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

кана in Haskell

кана

IsPrefix превращается в () или ошибку, это редурант офк

~ True не исползуется в теле функции, редурант

ну в целом похоже на баг, TypeError не должен считаться как redurant в моем представлении

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

источник

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

0xd34df00d in Haskell

Всего-то хотел сделать такой тип ConsumeBytes, чтобы можно было писать

data SomeBinaryFormat = MkFormat { magicHeader :: ConsumeBytes '[ 0xd3, 0x4d, 0xf0, 0x0d ], .. } deriving (Generic, Binary)

, и оно там само парсило всякие шаблонные байтики.

источник

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

0xd34df00d in Haskell

Проще, по-моему, руками, но руками ведь не Ъ.

источник

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

[

[BRM]White Rabbit in Haskell

Ахахахах. Руками не Ъ, руками У

источник

23:08пожаловаться #19

кана in Haskell

прикольно, вообще-то аргумент создается

источник

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