ΑZ
мне кстати всегда интересно было как фп скала вообще живет. В хачкеле там весь рантайм заточен под эти вещи и у него там всякие фьюзинги-материализации-..., а жвм по идее нифига не знает да и аллоцирует на каждый чих
Size: a a a
2021 March 15
λ
Конечно правильные реализации фолдрайта есть в котах - они стекобезопасные, но на хип переваливают стэк
ΛВ
мне кстати всегда интересно было как фп скала вообще живет. В хачкеле там весь рантайм заточен под эти вещи и у него там всякие фьюзинги-материализации-..., а жвм по идее нифига не знает да и аллоцирует на каждый чих
норм живет, окупается все. Кроме того аллоцируемое тут по большей части живет в янг гене, значит дешево
ΑZ
норм живет, окупается все. Кроме того аллоцируемое тут по большей части живет в янг гене, значит дешево
ну тут ещё вопрос индирекций. Те же списки хачкель вроде оптимизирует, а хранить наивно в виде Cons как-то больно
AK
Интересно, по котам есть какие то курсы? я только одну красную книгу знаю 😿
Oℕ
мне кстати всегда интересно было как фп скала вообще живет. В хачкеле там весь рантайм заточен под эти вещи и у него там всякие фьюзинги-материализации-..., а жвм по идее нифига не знает да и аллоцирует на каждый чих
в скале просто пишутся низкоуровневые мутабельные реализации, так же как и в хаскеле вручную мало кто обходит, обычно комбинаторами пользуются
ΛВ
ну тут ещё вопрос индирекций. Те же списки хачкель вроде оптимизирует, а хранить наивно в виде Cons как-то больно
ну в фпскале список это обычный список из стдлиб, он там не трушнофпшно сделан
AK
И вот что интересно, если в стандарте foldR это foldL на реверсенной коллекции, а если коллекция ккое то там дерево хитровыкрученное? Как это отреверсят? К 35 съезду КПСС?
Oℕ
ну тут ещё вопрос индирекций. Те же списки хачкель вроде оптимизирует, а хранить наивно в виде Cons как-то больно
индирекции хаскель никак не оптимизирует, в нужных местах дефорстейшн делает, в скале это же делается с помощью .view\.iterator
EK
да foldRight для применения в том же стиле, что в хаскеле требует оборачивания в стекобезопасные ленивизаторы вроде Eval
Спасибо!
Это подпадает под "не хип-сэйф" случай, как я понимаю
Это подпадает под "не хип-сэйф" случай, как я понимаю
Oℕ
Спасибо!
Это подпадает под "не хип-сэйф" случай, как я понимаю
Это подпадает под "не хип-сэйф" случай, как я понимаю
да
Oℕ
но считается, что с хорошим гарбейж коллектором нормальный сейф
Oℕ
к счастью в JVM гц хорошие
v
Интересно, по котам есть какие то курсы? я только одну красную книгу знаю 😿
Oℕ
И вот что интересно, если в стандарте foldR это foldL на реверсенной коллекции, а если коллекция ккое то там дерево хитровыкрученное? Как это отреверсят? К 35 съезду КПСС?
в стандарте это только к сиквенсам относится, у деревьев в принципе нет понятия foldR
EK
но считается, что с хорошим гарбейж коллектором нормальный сейф
Эээ. Как качество гц влияет на объем потребляемой памяти?
ΑZ
И вот что интересно, если в стандарте foldR это foldL на реверсенной коллекции, а если коллекция ккое то там дерево хитровыкрученное? Как это отреверсят? К 35 съезду КПСС?
реверс для реализации фолдр немного бесполезен потому что в теории должна быт ьвозможность вызывать фолдр на бесконечных структурах и получать ответ за конечное время
Oℕ
Эээ. Как качество гц влияет на объем потребляемой памяти?
так, что она очень быстро освобождается во время обхода
ΑZ
foldr (\x xs -> if x > 10 then [] else x:xs) [] [1..]
[1,2,3,4,5,6,7,8,9,10]
С реверсом так по-моему не получаетсяλ
Можно попробовать сфолдить стрим на 10^9 элементов с -Xmx10M