KV
а reflection делает принципиально то же самое (только сложнее)?
Там же тоже одно значение в контексте
Size: a a a
2020 December 10
KV
А, ну да, можно же по-разному его подставить
A
а как часто вам нужно больше одного инстанса? особенно при знакомстве
Как упражнения на разные инстансы встречаются — так и становятся нужны.
В остальном всё красиво, а это бросается в глаза.
В остальном всё красиво, а это бросается в глаза.
AV
reflection круче
AV
Он позволяет динамически создавать инстансы
AV
а рефлекшн как-то проверяет статически что твое значение подходит под инстанс?
?
к
ну рефлекшн проверит, что твое значение, которое ты хочешь запихнуть на место инстанса, валидное и коерсится в инстанс валидно?
KV
Ручная упаковка инстансов в рекорды, да
к
я думал там можно сделать буквально так
class X a b where { a :: a, b :: b, c :: a -> b }
data Y a b = Y { a :: a, b :: b, c :: a -> b }
someMagic :: (X a b => r) -> (Y a b -> r)
и чтобы на что-нибудь отличное по структуре от Y уже ругалось
и чтобы больше ничего писать не пришлось, максимум Generic инстанс
class X a b where { a :: a, b :: b, c :: a -> b }
data Y a b = Y { a :: a, b :: b, c :: a -> b }
someMagic :: (X a b => r) -> (Y a b -> r)
и чтобы на что-нибудь отличное по структуре от Y уже ругалось
и чтобы больше ничего писать не пришлось, максимум Generic инстанс