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

у меня это не компиляется бтв, с ошибкой

Couldn't match expected type ‘GHC.Natural.Natural’
with actual type ‘Integer’

на этой строке
shl (knownNat @width) extendedVal $ natVal (Proxy @ix) * 8

источник

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

кана in Haskell

но если добавить туда fromIntegral, то все норм, достаточно просто AllowAmbiguousTypes включить

источник

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

кана in Haskell

и использовать функцию нужно будет через тайп-ап

источник

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

Velvet Darkness in Haskell

natVal надо из GHC.TypeNats, чтобы возвращало Natural. natVal из TypeLits возвращает Integer

источник

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

Velvet Darkness in Haskell

Ага, сработало с AllowAmbiguousTypes. Никогда им до этого не пользовался, есть подводные камни какие-то?

источник

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

кана in Haskell

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

источник

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

кана in Haskell

но это слишком минорная и редкая вещь я считаю, а так ну мастхев с тайпаппом имхо

источник

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

Velvet Darkness in Haskell

Понял. Спасибо.

источник

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

Ilya Kos in Haskell

Нет

источник

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

John Roe in Haskell

Ясно.

источник

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

Dmitriy Mozhevitin in Haskell

Добрый день
Подскажите, могу ли я как-то за бесплатно получить instance Alternative (Either MyError) ?
На данный момент при использовании Either MyError как альтернативы ругается на No instance for (transformers-0.5.6.2:Control.Monad.Trans.Error.Error MyError)

Зашел в Control.Monad.Trans.Error.Error на hackage, написано что он deprecated и нужно юзать Control.Monad.Trans.Except
там действительно увидел (Functor m, Monad m, Monoid e) => Alternative (ExceptT e m) , но это про ExceptT а не про Either , и насколько я знаю Either не реализован как ExceptT Identity в отличие от того же Reader

источник

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

кана in Haskell

потому что все наоборот, ExceptT реализован через Either

источник

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

Dmitriy Mozhevitin in Haskell

Да, это понимаю)

источник

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

кана in Haskell

и Except = Either в этом случае