Size: a a a

2020 May 11

AV

Alexander Vershilov in Haskell
A64m AL256m qn I0
надо в каждую ошибку типа текст мануала включать просто - вон советовали же
Кстати ссылки на мануал в ошибках очень бы зашли
источник

AV

Alexander Vershilov in Haskell
Ссылка на мануал и ссылка на explanation
источник

AV

Alexander Vershilov in Haskell
Чтобы объяснения в мануал не добавлять
источник

MP

Misha Puzanov in Haskell
сообщить, что нету оверлэпа между типами, которые выводятся из then и else и какие они там вполне можно
источник

AA

A64m AL256m qn<co... in Haskell
ссылки-то конечно
источник

AA

A64m AL256m qn<co... in Haskell
Misha Puzanov
сообщить, что нету оверлэпа между типами, которые выводятся из then и else и какие они там вполне можно
так есть же
источник

AA

A64m AL256m qn<co... in Haskell
потому нельзя
источник

AA

A64m AL256m qn<co... in Haskell
если компилятор не видит инстанса, этож не значит что он никогда не появится, компиляция-то раздельная
источник

MP

Misha Puzanov in Haskell
уфф
источник

AA

A64m AL256m qn<co... in Haskell
че уфф-то?
источник

MP

Misha Puzanov in Haskell
A64m AL256m qn I0
че уфф-то?
у меня не хватает компетенции че-то утверждать, там Все Сложно как-то
источник

AA

A64m AL256m qn<co... in Haskell
ну вот он вывел тип (Foo a, Bar a) => a -> a
он не видит никаких дефолтных типов у которых и инстанс Foo и Bar есть одновременно
это ошибка или это нормально?
дефолты где-то для полутора типов есть
источник

AV

Alexander Vershilov in Haskell
Как добавить HasCallStack и при этом не писать сингатуру типа?
источник

AV

Alexander Vershilov in Haskell
А то у меня код, в котором это единственная сингатура или аннотация типа
источник

AV

Alexander Vershilov in Haskell
Хотелось бы и это убрать и сказать, что haskell это динамический ЯП!
источник

AA

A64m AL256m qn<co... in Haskell
HasCallStack => _ не сработает?
источник

AV

Alexander Vershilov in Haskell
report.hs:78:1: error:
   • Could not deduce (Monad m)
     from the context: HasCallStack
       bound by the inferred type for ‘throwLeft’:
                  forall (m :: * -> *) a b. HasCallStack => m (Either a b) -> m b
источник

AV

Alexander Vershilov in Haskell
Видимо придётся писать forall m . Monad m => HasCallStack => _
источник

AA

A64m AL256m qn<co... in Haskell
не, просто написать что помимо кослтекового констрейнта еще другие есть
источник

R

Roman in Haskell
Alexander Vershilov
Как добавить HasCallStack и при этом не писать сингатуру типа?
если добавить функцию hasCallStack :: HasCallStack => (HasCallStack => r) -> r и использовать ее, не прокатит?
источник