Haskell

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