Заметил интересную особенность type family (~~>) = (m :: k ->

Question

Заметил интересную особенность type family (~~>) = (m :: k ->

k -> Type) | m -> k where
(~~>) = (->)
(~~>) = Natural

infixr 0 ~~>

newtype Natural (a :: j -> k) (b :: j -> k) = Natural { runNatural :: forall (x :: j). a x ~~> b x }

когда включаю StandaloneKindSignatures код ломается и бросает ошибку

Expected kind ‘k -> k -> *’,
but ‘Natural’ has kind ‘(j -> k) -> (j -> k) -> *’

это баг?

#haskell #programming #russian

0

31.07.2021

2 ответов

19 просмотров

aadaa_ftgaa

кана
да вроде должна быть ошибка и без sks тут всегда ...

Там поле вполне себе Type, в чем проблема?

0

01.08.2021

кана · Accepted Answer

кана

да вроде должна быть ошибка и без sks тут всегда должна быть ошибка в ньютайпе, если конечно чет не поменялось в последних ghc, что разрешили неьютапы делать для любых "каиндов"

0

01.08.2021

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

Заметил интересную особенность type family (~~>) = (m :: k ->

2 ответов

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