O
Size: a a a
2020 May 05
YS
Но не думаю, что ты это не пробовал
AV
Что-то неинъективное надо
AV
может сделать:
type family Foo x :: *
type instance Foo x = x
AV
И надеяться, что GHC тупой и не вычислит?
MK
Хочу сделать так, чтобы тип проверялся, но при этом не выводился из конекста, т.е. так, чтобы функцию нужно было явно аннотировать типом. Как бы это сделать?
Можно было бы ввести обёртку
Так что может есть идеи получше?
Можно было бы ввести обёртку
f :: forall s . Params x, тогда x будет выводиться из окружения, а s нужно будет фиксировать. Но мне в этом случае надо как-то проверять, что s=x.Так что может есть идеи получше?
AV
type family Ambiguous (a :: k) :: j where
Ambiguous x = xAV
Кажется почти совпало с тем, что я предложил?
MK
Почти :)
MK
Насколько я понял, тут ключевой момент в том что кайнды разные
Из-за этого гхц не может ничего вывести
Из-за этого гхц не может ничего вывести
MK
Чонгор вообще крутой
AV
А у меня non-injective вариант
AV
GHC тоже должен сломаться
MK
А, из-за того что открытое семейство?
AV
Да, в этом идея, сейчас проверю конечно
AV
В ghci работает и не требует тега
AV
причем оба варианта работают
