Н
Size: a a a
2016 March 19
2016 March 20
AV
data Num a => My a = My a deriving (Show)
Не надо так советовать ..
AV
vtable наверное все же говорить не совсем корректно, просто словарь же?
AV
@int_index кстати, если у тебя GADT вида :: SomeConstraint a=> ... -> Foo a, то вроде все шансы, что заинлайнится есть, это все же не чистый existential где в lhs нету информации о типе
VZ
В чем принципиальная разница?
VZ
vtable наверное все же говорить не совсем корректно, просто словарь же?
VZ
Словарь/vtable
VZ
По крайней мере для C++ программистов должно необходимую ассоциацию в голове вызвать.
VZ
А касательно того, что в случае выше есть инфа о типе, то вероятность инлайна я и не отрицаю, только вот внутри значения тоже будет vtable, т.к. добавление констрейнта на конструктор влияет на то, как GHC будет представлять этот конструктор в памяти
VZ
s/vtable/словарь/g, запутался уже.
VZ
Я так понимаю GHC когда решает, какой будет memory layout у типа, решает это один раз и навсегда. А никто не мешает потом обернуть этот GADT в что-то типа:
data Some f where
Some :: f a -> Some f
VZ
Поэтому словарь всегда будет внутри, для такого вот случая
AV
В общем я под vtable обычно понимал более сложную структуру данных
AV
Если в existential тип завернуть то да, ссылка на словарь будет лежать рядом со структурой
AV
Ну или если он уже в gadt
AV
@int_index да ссылка на словарь будет точно даже если инлацнится, но тебе чего лишнего принтера жалко :)
AV
Поинтера
2016 March 21
ES
как они это делают? выходят отсюда дважды
AV
Они настолько ненавидят haskell
PL
Это же хаскель