на разные екстеншены. В упражнения на KindSignatures, даются разные классы и по инстансам надо дописать каинд для параметра класса.
Можете пожалуйста объяснить вот это - https://github.com/i-am-tom/haskell-exercises/blob/master/03-KindSignatures/src/Exercises.hs#L71-L90
Я вообще раньше думал, что инстансом может быть только тип. Что вообще означает инстанс для constraint? Как это понимать и где используется?
констрэйнты и классы тоже элементы языка типов. означать может что угодно, например, можно применять констрэйнт, который задаётся пользователем class Alpha (c :: Type -> Constraint) where alpha :: c Int => Proxy c -> Int instance Alpha Show where alpha _ = 1
мне бы еще где-то почитать что такое прокси
но ведь это намного проще, чем экстеншены, что вы сейчас изучаете data Proxy a = Proxy вот и всё
Обсуждают сегодня