ЗП
type Exp a = a -> TypeSize: a a a
2021 January 24
ЗП
type family Base (t :: k) :: k -> Type
ЗП
data Project :: a -> Exp (Base a a)
ЗП
c листом все ок почему-то
ЗП
type instance Eval (Project '[]) = 'NilF
type instance Eval (Project (x ': xs)) = 'ConsF x xs
ЗП
самое удивительное, если я определю
после, то все работает
data Project :: a -> Exp (Base a a)
после, то все работает
ЗП
почему так?
ЗП
мне такое поведение не подходит кстати
2021 January 25
MP
а как профилировать память, которая очевидно утекает, если смотреть на top/pmap, но при этом live set всегда ограниче сверху, не дуется и с точки зрения хаскельного GC все красиво
MP
?
MP
что там может еще течь? треды?
MP
стек
MK
Стеки, анпиннед память мб...
MK
Попробуй запустить с небольшим
-M и посмотри упадёт лиMP
c -M точно упадет
MK
что там может еще течь? треды?
Ещё может быть что это просто старшее поколение раздувает
Смотреть в мануале около опции
Смотреть в мануале около опции
-F, там что-то про это былоMK
c -M точно упадет
Ага, значит не в поколении дело...
MK
-hT уже смотрел?MP
щас гляну что я там смотрел
MP
+RTS -S -p -hd -l-au -RTS