Haskell

В общем случае в любом "системном" софте и языках. Подход с регионами это про изолицию аллокаций и локализацию hot path участков памяти. Хочешь GC - затребуй его явно в регионе; хочешь со статическими буферами работать - выдели пул и управляй им; хочешь симдами молотить большой буфер - выдели регион с отдельным маленьким буфером и ублажай кэш Опять же в Хаскеле теоретически ничего не мешает так писать код, но вся экосистема построена вокруг засорения кучи или "не занимайтесь ерундой и пишите на Си". А когды ты захочешь на практике использовать FFI, то в 2026 году ты берешь недавно появившийся hs-bindgen чтобы обернуть условный dpdk, а затем идешь дебажить прослойку к LLVM в языке без поддержки симдов Короче в нашем гетто много чего можно сделать лучше, но большинство инвестиций сейчас надо делать в разгребание компиляторного легаси и проработку (настоящих) архитектурных подходов (а не страданий с системами эффектов)