F＃中的反向遞歸

Question

（我不確定反向遞歸是否正確。）

我想定義一個遞歸函數，其初始值為k = n並終止於k = 0

所以我試圖用這種方式寫（這里n = 10）：

let rec f k =
  match k with
  |_ when k > 10 -> 0
  |  10 -> 1
  |_ -> (f n+1)-1

VS墜毀了 有人可以幫我嗎？

分界線 - - - - - - - - -

我想我的問題有點像這樣：

Consider a sequence with 
a(10) = 1 
a(k) = [a(k+1)*a(k+1)] + 1
a(k) = 0 if (k < 0 or k > 10)

我如何在F＃中實現它？

Answer 1

let rec f k =
  match k with
  |_ when k > 10 || k < 0 -> 0
  | 10 -> 1
  |_ -> f (k+1) * f (k+1) + 1