Haskell

Компилиться будет ещё медленнее, а Диме это важно

Говорят рух быстро компилится

так в рухе же боксед и гц, не?

Уже тоже гц сделоли? Там вроде типа киб-персея было

Тред начался с обсуждения перфоманса. Линтипы больше про безопасность и это отдельная история, более актуальная для канкаренси. Регионы это когда планируют выделение памяти под определенные вычисления и пишут код этих вычислений так чтобы эта память хорошо ложилась на кэш линии процессора. В самом строгом случае это полное отсутствие динамических аллокаций и ручное перекладывание регистров, а на практике обычно ограниченное использование GC с изоляцией кусков памяти под молотилки в цикле с прибиванием к отдельному ядру Проблемы с перфом при управлении памятью появляются когда вообще не думают про memory layout и все сваливают в общую кучу с GC, потом сверху наваливают вытесняющий планировщик без прибивания потоков, а сверху добивают отсутствием больших страниц и не дай бог обращениям к памяти на соседние нума ноды. Так то можно и с GC аллоцировать массив байт, в нем мутировать в цикле на одном ядре и это будет регион на минималках

А в mlkit регионы точно про эффективное распределение того, как выделяется память для эффективных вычислений и укладывание в Кеши процессора?

у них там рефкаунты я так понимаю. раз без гц, значит нельзя рекурсивные adt (впрочем чего ещё от эльмиста ждать)?

Если честно, я не очень понимаю как избежать неявных аллокаций в лямбда-исчислении. Любое замыкание или частичное применение это же, по сути, аллокация, нет? Плюс, какой-нибудь терм типа (\x. x x x) (\x. x x x) В процессе исполнения разрастается бесконечно, и, кажется, это невозможно реализовать без аллокаций

А может они и правы. А не всякие академики

С их оптимизацией обычно сочетание проблем из лени с боксингом