在命令式编程中，我们通常有如下所示的代码：

func addOneToSlice(xs []int) []int {
  rs := make([]int, len(xs))
  for i, value := range xs {
    rs[i] = value   1
  }
  return rs
}

但是，请注意有关 for 循环的以下几点：

• 每次迭代都有一个特定的目的，就是给当前元素加一。
• 然而，每次迭代对于它可以操作哪个元素没有限制。
• 使用 xs[i 2] 和 rs[i 3] 进行操作不会从根本上改变我们的代码结构，同时会使最终结果不正确。

比较如何在 F# 中完成相同的任务：

let rec addOneToList =
  function
  | [] -> []
  | x :: xs -> x   1 :: addOneToList xs

现在考虑以下事项：

• 我们有一个列表作为函数参数。
• 函数式语言中的列表是链表。
• 链表高效、标准的操作是：
  • 将头部 x 与尾部 xs 分开
  • 对头部做某事 x
  • 将作为参数传递的列表与空列表进行比较[]

考虑到这些限制，向不在列表开头的任何元素 y 添加 1 将显着改变我们函数的结构。

现在比较两种风格的计算进展情况：

• 在函数式风格中，我们使用新值创建一个新作用域，其中涉及在上面的示例中进行递归调用。
• 在命令式风格中，我们在不改变范围的情况下改变现有值。

在函数式风格中，将范围与计算进度相结合会产生以下结果：

• 我们避免突变。
• 执行流程明确。
• 我们正在处理的结构变得清晰。