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

смотри что в хаскеле можно делать

newtype I a = I a

ap :: Monad m => m (a -> b) -> m a -> m b

instance Functor I where
fmap f x = x >>= pure . f

instance Applicative I where
pure = I
(<*>) = ap

instance Monad I where
I x >>= f = f x

источник

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

Ilya Kos in Haskell

Ну к этому у меня меньше вопрсов почему-то

источник

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

Ilya Kos in Haskell

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

источник

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

кана in Haskell

хм, ну это же то же самое вроде

источник

14:10пожаловаться #7

Ilya Kos in Haskell

Ну меня там смущает что чтобы понять что F валидный он должен сам увдеть валидный M

источник

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

Andrey in Haskell

а чем рукoвoдствуется стэк при вызoве препрoцессoра кабала вo время билда зависимoстей?

источник

14:10пожаловаться #9

кана in Haskell

дефолтное значение не требует, чтобы зависимости дефолтного значения были у всех инстансов тоже, но если зависимости дефолтного значения есть, то будет и дефолтное значение

источник

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

кана in Haskell

наверное можно даже много дефолтных значений сделать

источник

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

кана in Haskell

Ilya Kos

Ну меня там смущает что чтобы понять что F валидный он должен сам увдеть валидный M

хм, не понимаю

источник

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

кана in Haskell

а может и понимаю, проверка на валидность же идет во время компиляции, в это время в контексте есть все инстансы, и F f без fmap станет валидным, если есть в контексте M f, иначе будет невалидным

источник

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

Jerzy Syrowiecki in Haskell

Andrey

а чем рукoвoдствуется стэк при вызoве препрoцессoра кабала вo время билда зависимoстей?

существованием файла package.yaml

источник

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

Andrey in Haskell

Jerzy Syrowiecki

существованием файла package.yaml

а при его отсутствии?