Ответсообщение недоступно
Ну как на "системных" языках ее решают? Явное управление аренами и явные аллокации. В целом на Хаскеле можно явно работать с памятью и что-то даже формализовать, но это будь добр писать свою стдлибу и экосистему, а по-хорошему форкать компилятор и все ломать. Глобально это спокойно выражается в парадигме чистого лямбда исчисления, но Хаскель исторически пошел другой дорогой