PureScript遍历长数组触发栈溢出问题求助

问题现象 #

执行以下PureScript代码时，Chrome中打印到7492后因栈溢出失败；Orion中执行到33793次后中断；Safari能执行到8000次，但速度逐渐变慢。生产构建（spago bundle-app --to prod/index.js && parcel build prod/index.html）下表现一致。

问题代码 #

module Main where

import Prelude
import Effect (Effect)
import Effect.Console as Console
import Data.Array as Array
import Data.Traversable (for_)

main :: Effect Unit
main = do
  for_ (Array.range 1 10000) Console.logShow

运行环境 #

• 编译工具：spago build
• 运行工具：parcel
• 依赖版本片段：

"devDependencies": {
    "parcel": "2.7.0",
    "purescript": "^0.15.4",
    "spago": "^0.20.9"
  }

问题原因 #

PureScript中基于Traversable实现的for_函数，在处理Effect类型时采用同步递归遍历：每一次Console.logShow调用都会在当前调用栈上执行，当数组长度超过浏览器的栈容量限制时，就会触发栈溢出。同时，同步执行大量控制台输出会阻塞事件循环，导致浏览器响应变慢（如Safari的表现）。

解决方法 #

核心思路是避免同步递归的栈累积，以下是两种可行方案：

方案1：异步遍历（拆分调用栈） #

利用浏览器的事件循环，将每次迭代放到下一个事件周期执行，清空当前调用栈。可以通过Effect.Timer模块的setTimeout实现：

module Main where

import Prelude
import Effect (Effect)
import Effect.Console as Console
import Data.Array as Array
import Effect.Timer (setTimeout)

-- 异步遍历数组，每次迭代后清空调用栈
asyncFor_ :: forall a. Array a -> (a -> Effect Unit) -> Effect Unit
asyncFor_ arr f = case arr of
  [] -> pure unit
  x : xs -> do
    f x
    -- 延迟0ms将剩余遍历放到下一个事件循环
    setTimeout 0 \_ -> asyncFor_ xs f

main :: Effect Unit
main = asyncFor_ (Array.range 1 100000) Console.logShow

这种方式可以处理任意长度的数组，因为每次迭代的调用栈都会被浏览器清空，不会累积溢出。

方案2：流式/惰性处理 #

如果需要更高效的流式处理，可以使用惰性数据结构（如Data.List）配合异步Effect，或者引入purescript-effect-streams库实现真正的流式遍历，避免一次性加载整个数组到内存中。不过对于普通数组场景，方案1已经足够简单有效。

内容的提问来源于stack exchange，提问作者Mikhail Brinchuk