а
data STuple a = STuple {-# UNPACK #-} !a {-# UNPACK #-} ! aSize: a a a
2021 April 07
ЗП
а если сделать?
MK
кажется прагма анпак бессмысленна с полиморфными типами
АХ
Можно бангами намазать
АХ
Не кажется, а так и есть
MK
ага, выше уже
(,) $! _ $! _ предложили)AA
не кажется, все правильно
AA
каган-бабушка-забыл-как-его-немейер?
ЗП
а хотя если среднее найти для чисел, то
data STuple = STuple {-# UNPACK #-} !Int {-# UNPACK #-} !IntMK
да чо уж там,
newtype STuple = STuple (# Int#, Int# #) сразуMK
точно на работу возьмут!
D
close to the metal
AA
нет
AA
тут анпак и так будет, прагмы не нужны
ЗП
это сразу анпакед?)
AA
кстати, если кбн знать, то знание ленивости тут не пригодится, там все используется на каждой итерации, так что санок не будет
MK
это тупо два инта рядом в памяти
