Size: a a a

2020 May 22

к

кана in Haskell
в сообщении нет ошибок
источник

к

кана in Haskell
оно просто плохое
источник

к

кана in Haskell
у x и y тип a
источник

к

кана in Haskell
а инстанса Num a нет
источник

к

кана in Haskell
вот так ошибки нет
источник

к

кана in Haskell
что логично, потому что инстанс Num a появился
источник

к

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

к

кана in Haskell
а вот инстанс Num нужен
источник

AV

Alexander Vershilov in Haskell
констреинта Num
источник

AV

Alexander Vershilov in Haskell
Клапауций верно говорит
источник

AV

Alexander Vershilov in Haskell
Чтобы скомпилировать код никакой инстанс не нужен
источник

AV

Alexander Vershilov in Haskell
А вот констреинт нужен
источник

к

кана in Haskell
но вот я выше скомпилировал без констрейнта
источник

AV

Alexander Vershilov in Haskell
Нет
источник

AV

Alexander Vershilov in Haskell
попробуй написать f :: a -> a -> a и посмотреть, что скажет компилятор
источник

AV

Alexander Vershilov in Haskell
И ты увидишь, что он заботливо сделал констреинт за тебя
источник

к

кана in Haskell
не совсем
источник

к

кана in Haskell
сейчас
источник

AV

Alexander Vershilov in Haskell
-- goo :: a -> a -> a
goo a b = a + b

компилируется без инстанса Num a
источник

к

кана in Haskell
источник