Пока всё правильно звучит, а проблема где?

так в том и смысл, что он мутабельный в ST только
(вообще это не относится к обсуждаемой теме, но не надо использовать пакет array, надо vector)

У меня тут вопросец назрел
1 - чисто теоретически в хаскеле все функции - чистые, если не вспоминать какой-нибудь ансейв или что-то подобное
2 - в чистой функции при одних и тех же аргументах получается один и тот же результат
В соответствии с этими пунктами может ли компилятор увидеть, что у меня в одну функцию часто прилетают одни и те же параметры и посчитать всё в первом вызове, а потом кешировать и тупо кидать сразу ответ?
Или эта фишка так же как и бесплатный параллелизм "было гладко на бумаге, да забыли про овраги", возможна чисто теоретически, но пока никто не реализовал?

Если аргументы известны статически (много раз где-то вызываешь foo 5), посчитается один раз
Если нет, то нет

Насколько я понимаю

Сейчас эксперты ответят)

Если это caf, то посчитает один раз

Я не эксперт, правда (

ух, опять всякие монады и прочие модификаторы, до которых я ещё не дошёл
Чуть-чуть понимаю суть, но не полностью

Если в текущем "скоупе" можно явно переиспользовать результат, то скорее всего так и будет

А оптимизатор ещё может и в топлевел вынести

Как я понимаю

если у тебя x <- getLine; foo x, то на каждый ввод с клавиатуры будет считаться заново

даже если ты каждый раз одну и ту же строку пишешь

Рилворлд сложно повторить(

оптимизация срабывает только для статически известных аргументов

НО Я МОГУ ОШИБАТЬСЯ

ну и x, и foo чистые

Формально

На уровне того, что мы даем и берём рилворлд