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

BS.readFile прочитает целиком и положит в запиненую память - можно будет потом слайсить за константы и без копий нарезать на много маленьких буферят. ❤️

BSL.readFile начнёт читать, а потом прищемит даунстриму хвост если тот замешкается. ☠️

источник

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

Kirill Valyavin in Haskell

> (TypeError ('Text "Use 'let x = param \"..\"' instead of 'x <- param \"..\"'") :: Constraint) => ParamReader (IO param)
З — забота

источник

19:36пожаловаться #10

кана in Haskell

не могу понять как это работает, это же в любом случае даст ошибку

источник

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

Kirill Valyavin in Haskell

В любом случае, если есть IO слой внешний

источник

19:39пожаловаться #12

кана in Haskell

чет мне захотелось закрытых тайпклассов

источник

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

Maxim Koltsov in Haskell

instance {-# OVERLAPPING #-} TypeError ... => Foo a

источник

21:31пожаловаться #14

Maxim Koltsov in Haskell

наверное

источник

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

кана in Haskell

Maxim Koltsov

instance {-# OVERLAPPING #-} TypeError ... => Foo a

о мб поможет

источник

21:31пожаловаться #16

Maxim Koltsov in Haskell

А зачем

источник

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

кана in Haskell

ну вот есть тайпкласс, который заменяет матчинг по натуральным числам на типе

class Foo n
instance Foo Zero
instance Foo n => Foo (Succ n)

и мне хочется, чтобы ghc знал, что для любых значений n, Foo n есть всегда

источник

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

кана in Haskell

а сейчас он этого не знает, и ругается, что не может найти инстанс

источник

21:34пожаловаться #19

кана in Haskell

ну то есть банально такой чек хочется чтобы проходил:

foo :: (forall n. Foo n) => ()
foo = ()

источник

21:34пожаловаться #20