命令型プログラミングでは、通常、次のようなコードがあります:

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 を追加すると、関数の構造が大幅に変更されます。

次に、両方のスタイルで計算がどのように進行するかを比較します:

• 関数型スタイルでは、新しい値を持つ新しいスコープを作成します。これには、上記の例で再帰呼び出しを行うことが含まれます。
• 命令型スタイルでは、スコープを変更せずに既存の値を変更します。

関数型スタイルでは、両方のスコープと計算の進行状況を組み合わせると、次のような結果になります:

• 私たちは突然変異を避けます。
• 実行フローは明示的です。
• 私たちが扱っている構造が明らかになります。