Class Foo a where type FooType a

Question

Class Foo a where type FooType a

q
foo :: a -> FooType a q

instance Num n => Foo [x] where
type FooType [x] g = g
foo xs = fromIntegral $ length xs :: FooType [x] nПочему жалуется, что "expected q, got n" в строке
foo xs = fromIntegral $ length xs :: FooType [x] n
?
Разве FooType не тайп-левел функция? Как ею пользоваться тогда (кроме простых случаев из вики)?
type FooType [x] n = n тоже не робит.

#haskell #programming #russian

0

09.04.2021

3 ответов

14 просмотров

aadaa_ftgaa

У вас foo должна возвращать FooType a q для любого q, а вы возвращаете из нее FooType a n для вполне конкретного n. Вы видимо хотели с помощью Num n => повесить констрейнт на q, но это просто создало новую типопеременную n, никак не связанную с q, вот типы и не совпадают. В instance head вообще невозможно повесить констрент на типопеременную которая не упоминается в самом классе, а только в его методах (ну кроме всяких ConstraintKinds).

0

09.04.2021

Жук Короед Автор вопроса

aadaa_ftgaa
У вас foo должна возвращать FooType a q для любого...

Ничего не понял 👀 Вне классов и инстансов type Bar a b = b Работает как функция, и ее можно "вызвать" как Bar Bool Int и получить Int. А в классах по-другому, получается? Что тогда там означает эта запись?

0

10.04.2021

кана · Accepted Answer

кана

а q это вообще что? Откуда он берется, не понятно

0

09.04.2021

169 похожих чатов

Class Foo a where type FooType a

3 ответов

Похожие вопросы