к
Size: a a a
2020 December 28
VD
Вероятно.
VD
Его вроде уже не рекомендуют юзать как стандалон, так что относительно ожидаемо, что его в хлс всосут и вообще забросят как отдельный проект.
в
а есть какой-то способ имея фундеп
a -> b и a как-то получить b?в
хочется на тайплевеле это делать
в
мне нужно что-то чем можно воспользоваться как Type Family, а не вот это вот
в
тайпкласс с фундепом определил не я
в
type family можно использовать как тайпфемели
спасибо, а то я не в курсе
к
чтобы было немного понятно почему нельзя
class Foo a b | a -> b
instance Foo Int Bool
foo :: Foo Int Int => Int
foo = 0
вот это валидный код, с валидной сигнатурой
Foo Int Int это просто Void, нет такого инстанса, и никогда не будет, поэтому вызвать foo нельзя будет (без unsafeCoerce ньютайпа с такой функцией внутри). Но функция все еще валидная, как и foo :: Void -> Int
class Foo a b | a -> b
instance Foo Int Bool
foo :: Foo Int Int => Int
foo = 0
вот это валидный код, с валидной сигнатурой
Foo Int Int это просто Void, нет такого инстанса, и никогда не будет, поэтому вызвать foo нельзя будет (без unsafeCoerce ньютайпа с такой функцией внутри). Но функция все еще валидная, как и foo :: Void -> Int
DB
чтобы было немного понятно почему нельзя
class Foo a b | a -> b
instance Foo Int Bool
foo :: Foo Int Int => Int
foo = 0
вот это валидный код, с валидной сигнатурой
Foo Int Int это просто Void, нет такого инстанса, и никогда не будет, поэтому вызвать foo нельзя будет (без unsafeCoerce ньютайпа с такой функцией внутри). Но функция все еще валидная, как и foo :: Void -> Int
class Foo a b | a -> b
instance Foo Int Bool
foo :: Foo Int Int => Int
foo = 0
вот это валидный код, с валидной сигнатурой
Foo Int Int это просто Void, нет такого инстанса, и никогда не будет, поэтому вызвать foo нельзя будет (без unsafeCoerce ньютайпа с такой функцией внутри). Но функция все еще валидная, как и foo :: Void -> Int
страшно
JS
type family можно использовать как тайпфемели
как грубо!
KV
Чё делать, если хочется
foldl1 adjoin [ix "fieldA", ix "fieldB"], но типы не дают?