r
Компиляторов функциональных языков.
Size: a a a
2020 April 05
DS
red75prime
Компиляторов функциональных языков.
Да, это тоже важная деталь
p
Для хаскелевских задач типа компиляторов и т.п. - это не синтетический пример
Уже представляю этот компилятор который в начале компиляции кушает 6Гб оперативы
DS
Уже представляю этот компилятор который в начале компиляции кушает 6Гб оперативы
У хаскеля не очень прожорливый и достаточно эффективный гц для подобных задач, кстати.
То есть он запросто без каких либо проблем способен многие гигабайты мусора в секунду обрабатывать
То есть он запросто без каких либо проблем способен многие гигабайты мусора в секунду обрабатывать
p
У хаскеля не очень прожорливый и достаточно эффективный гц для подобных задач, кстати.
То есть он запросто без каких либо проблем способен многие гигабайты мусора в секунду обрабатывать
То есть он запросто без каких либо проблем способен многие гигабайты мусора в секунду обрабатывать
Ага, а ещё он работает за наносекунды и сам за тебя пишет программу. И все это сделали полторы учёных в опенсорсе за полгода
DS
Ага, а ещё он работает за наносекунды и сам за тебя пишет программу. И все это сделали полторы учёных в опенсорсе за полгода
Ну делали его 30 лет, если что, так что это так себе придирка.
DS
Для вложенных в него человекочасов он норм себя показывает. Не идеально, а норм
DS
В плане гц там как раз есть куда стремится, но для относительно коротко живущих программ типа компиляторов он вполне нормально себя показывает
DS
Проблема начинаются на очень больших долго живущих хипах, но с другой стороны в этом у всех кроме джавы так себе
AZ
Ну есть, например, вот такой простой пример
bad :: [Int] -> Int -> Int
bad [] c = c
bad (_:others) c = bad others $ c + 1
а что не так?
AZ
ну кроме того что рекурсия не хвостовая
EG
а что не так?
Пожрёт очень много памяти на большом списке
EG
Из-за лени
EG
А если заменить
$ на $!, то не пожрётEG
И рекурсия как раз хвостовая,
bad = bad.AZ
ну если я напишу тест который просто в цикле будет прогонять миллион маллоков (пока что, смело) я ожидаю не сильно больше отставание от того же цикла который создает миллион обьектов на гц
если что аллокаторы в сишкорастах это куча логики из разряда "у нас есть списки блоков, нужно по ним ходить и искать подходящий блок чтобы его выделить". Ты правда не поинмаешЬ, что это дофига сложно?
AZ
И рекурсия как раз хвостовая,
bad = bad.да не очень хвостовая
AZ
факторил вон тоже не хвостовой, и ничо
SP
если что аллокаторы в сишкорастах это куча логики из разряда "у нас есть списки блоков, нужно по ним ходить и искать подходящий блок чтобы его выделить". Ты правда не поинмаешЬ, что это дофига сложно?
почему там сложно а с гц просто - не понимаю
AZ
почему там сложно а с гц просто - не понимаю
потому что гц дефрагментирует память