你几乎是对的。问题是，你的例子基本上是这样的：

┌────────────────────────────────┐
cachedFunction ix = │ table ! ix                     │
                    │where table = <vector creation> │
                    └────────────────────────────────┘

也就是说，table不会在不同的ix之间共享。这与它碰巧不 * 依赖于 * ix的事实无关（这在本例中很明显，但一般情况下并不如此）。因此，将它保存在内存中是没有用的，Haskell也不会这样做。
但是，您可以通过将ix参数及其关联的where-block拉入结果中来改变这一点：

cachedFunction = \ix -> table ! ix
 where table = <vector creation>

也就是说

┌────────────────────────────────┐
cachedFunction = │ \ix -> table ! ix              │
                 │where table = <vector creation> │
                 └────────────────────────────────┘

或更短，

cachedFunction = (<vector creation> !)

在这种形式中，cachedFunction是constant applicative form，也就是说，尽管有一个函数类型，但它被编译器视为 * 一个常量值 *。它不是一个你可以计算为范式的值，但它将保持相同的表（它 * 不能 * 依赖于ix;它的作用域中没有它）。

根据this answer，GHC永远不会重新计算在模块顶层声明的 values。（一次）第一次需要它，然后它就再也不会被请求了。（为简单起见，示例使用简单整数而不是向量）

import Debug.Trace

cachedFunction :: Int -> Int
cachedFunction ix = table + ix

table = traceShow "Computed" 0

main :: IO ()
main = do
  print 0
  print $ cachedFunction 1
  print $ cachedFunction 2

输出：

0
"Computed"
1
2

我们可以看到，table在cachedFunction被调用之前 * 没有 * 被计算，并且它只被计算一次，即使我们调用了cachedFunction两次。