Н
Size: a a a
2016 March 18
VZ
data Num a => My a = My a deriving (Show)
Так делать вообще не нужно, никогда
VZ
Это никакого профита не дает.
VZ
С GADT-ами решение нормальное, но нишевое.
VZ
Нужно понимать, что тогда словарик будет с каждым значением отдельно таскаться.
VZ
Получается ООП-но и часто некомпозабельно.
VZ
Нет
VZ
Для того типа, которому принадлежит значение.
VZ
Ну т.е. если в терминах C++ говорить, то vtable прямо в значение встраивается.
VZ
Ну такое решение тут как раз приводит к "кошка может мяу"
VZ
Вместо этого лучше все констрейнты накладывать там, где значение уже используется.
VZ
А при определении типов данных не предписывать, может оно мяу или нет
VZ
Посмотри например на стандартный тип
Map k aVZ
Чтобы там все работало, ключи должны быть инстансами
Ord kVZ
Но при объявлении типа это не упоминается.
VZ
Констрейнт добавлен только к функциям работы с
Map, которые полагаются на наличие этого порядка.