VD
А чот смотрю в последнее время народ оптимизирует путём уменьшения n таки и я начинаю задумываться.
Size: a a a
2021 February 16
KV
Просто пишите меньше полей в рекордах, лол
KV
Выберете менее развесистую предметную область
KV
Этот тимлид не хаскелист случайно?
VD
Не, шарполюб вроде
KV
ну, разбивание большого рекорда на кучу мелких таки поможет конечно
Каким образом
VD
data HugeRecord = HugeRecord { data :: ByteString }
f :: HugeRecord -> Bar
f r{data} = let data' = parseData data in ...к
Каким образом
a^2 + b^2 <= (a+b)^2
KV
Я тогда не понял, откуда там квадрат
AA
Я тогда не понял, откуда там квадрат
n матчингов размером n
KV
n матчингов размером n
Все, догнал
KV
Просто придётся оставшиеся аксессоры писать вручную
AA
насколько я знаю, сейчас на каждый селектор генерируется вот такой код
data X = X { a, b, c :: Int }
a :: X -> Int
a x =
case x of
X { a = a, b = b, c = c } -> a
b :: X -> Int
b x =
case x of
X { a = a, b = b, c = c } -> b
c :: X -> Int
c x =
case x of
X { a = a, b = b, c = c } -> c
data X = X { a, b, c :: Int }
a :: X -> Int
a x =
case x of
X { a = a, b = b, c = c } -> a
b :: X -> Int
b x =
case x of
X { a = a, b = b, c = c } -> b
c :: X -> Int
c x =
case x of
X { a = a, b = b, c = c } -> c
ну он b=b делать не будет если он не нужен, но корка все равно здоровенная получается, потому что он например навешивает на ненужный матч мету
AA
т.е. будет чето вроде
b = \ (x :: Foo) -> case x of { Foo _ [Occ=Dead] y _ [Occ=Dead] -> y }AA
сомнительно что делать рекорды одним куском по 230 полей вообще хорошая идея
я имею в виду внутренне представление а не то что программист видит
я имею в виду внутренне представление а не то что программист видит
AA
хотя, если считать что важнее всего быстрый селект то может и да
LO
Не хотел бы я 230 полей в коде суппортить. С анпаком разве что