F#のこのコードの読み方がわかりません

Question

このコードが読めません

printfn "%d" (let rec sum x = if x > 0 then x + sum (x - 1) else 0 sum 10)
私の理解ではelse 0 sum 10というところがどういう流れで書かれているかわかりません。
let rec sum x = if x > 0 then x + sum (x - 1) else 0の再帰関数を定義した後に、
sum 10を実行しているといった理解でいいんでしょうか？

Comments

[Zuishin]

これコンパイルできますか？
main から書くとどうなります？

Answer 1

https://try.fsharp.org/ で動作確認しました。

正しくは let rec ... in ですね。

再帰関数を定義した後に、sum 10を実行しているといった理解でいいんでしょうか？

その通りです。ワンライナーになってるので読みにくいですが、

printfn "%d" (let rec sum x = if x > 0 then x + sum (x - 1) else 0 in sum 10)

余分に括弧を付けてlet束縛の範囲を分かりやすくすると

printfn "%d" (
  let rec sum x =
    (if x > 0 then x + sum (x - 1) else 0)
  in
    sum 10
  )

通常はsumの定義を外に出して、この様に書いた方が解りやすいと思います。

let rec sum x = if x > 0 then x + sum (x - 1) else 0 in
  printfn "%d" (sum 10)

let rec sum x =
  if x > 0 then
    x + sum(x - 1)
  else
    0

printfn "%d" (sum 10)

追記:　ところで、この関数の実装は sum ではなく factorial では。