Haskell初学者疑问：用fold生成列表是否有更优实现方案？

问题描述 #

作为Haskell初学者，我经常编写如下代码：

let states = foldl processLine [start_state] (lines input)

这类表达式的结果通常与输入行呈1对1（或几对1）的映射，但processLine函数需要回溯1至2个状态来计算后续状态。用fold生成列表感觉有些别扭，想找更合适的实现方式。

可行替代方案 #

1. 使用scanl替代foldl #

scanl和foldl逻辑类似，但会保留每一步的累积结果，生成完整的状态序列，完全匹配你需要的「输入行对应状态」的场景。

示例代码：

-- 初始值用单个start_state，而非列表
let states = scanl processLine start_state (lines input)
-- 若需要和输入行1对1映射，取tail去掉初始状态
let statesForLines = tail states

scanl的输出列表是[start_state, processLine start_state line1, processLine (processLine start_state line1) line2, ...]，每一项对应处理完对应行后的状态，逻辑直观，无需手动维护状态列表。

2. 显式递归实现 #

如果状态回溯逻辑复杂（比如需要灵活取前1-2个状态），显式递归写法会更易懂，能直接访问历史状态：

type State = ... -- 定义你的状态类型

processLines :: [State] -> [String] -> [State]
-- 无输入行时终止
processLines _ [] = []
-- 有至少2个历史状态时，用前两个状态计算下一个
processLines (sPrev1:sPrev2:rest) (line:lines) =
  let nextState = calculateNext sPrev1 sPrev2 line
  in nextState : processLines (nextState:sPrev1:sPrev2:rest) lines
-- 只有1个历史状态时，用前一个状态计算下一个
processLines (sPrev:rest) (line:lines) =
  let nextState = calculateNextSingle sPrev line
  in nextState : processLines (nextState:sPrev:rest) lines

-- 调用时传入初始状态列表
let states = processLines [start_state] (lines input)

这种写法直接把「回溯历史状态」的逻辑暴露出来，比fold更符合人类直觉。

3. 使用unfoldr反向生成列表 #

Data.List.unfoldr适合从初始状态逐步生成结果列表的场景，每一步生成一个状态并更新状态上下文：

import Data.List (unfoldr)

type State = ...

processStep :: ([State], [String]) -> Maybe (State, ([State], [String]))
-- 无输入行时停止生成
processStep (_, []) = Nothing
-- 用前两个历史状态计算
processStep (s1:s2:rest, line:lines) =
  let next = computeNext s1 s2 line
  in Just (next, (next:s1:s2:rest, lines))
-- 用前一个历史状态计算
processStep (s:rest, line:lines) =
  let next = computeNextSingle s line
  in Just (next, (next:s:rest, lines))

-- 生成状态列表
let states = unfoldr processStep ([start_state], lines input)

unfoldr把「状态转换+输入消耗」的逻辑封装在processStep里，适合这种逐行生成状态的流式场景。

为什么foldl会别扭？ #

foldl的设计目标是累积单一最终结果，而你的需求是生成一系列中间状态，两者的场景不匹配。scanl正是为生成中间累积序列而生的，是最贴合你需求的标准库函数。

内容的提问来源于stack exchange，提问作者Alain Zeyu Lou