memoization 안하면 ㅇㅇ

하스켈같은 순수함수형언어는 계산된값들에 대해 적절히 알아서 캐싱해주는걸로 알고있는데 종료조건만 정확히 들어가면 SO 안나지?