如何遞歸編寫三角函數？

Question

因此，我嘗試編寫一個遞歸函數，您可以在其中輸入一個三角形數字（例如5），它將返回答案15。我可以使用它來輸出正確的答案：

triangle n = n * (n + 1) `div` 2

但是，我該如何遞歸執行此操作？

Answer 1

triangle 0 = 0
triangle n = n + triangle (n-1)

但為什么？

Answer 2

triangle :: Integer -> Integer
triangle n = recTriangle n 0
    where
      recTriangle 0 acc = acc
      recTriangle n2 acc = recTriangle (n2-1) (acc+n2)

如果您想要尾部遞歸，就是這樣。 （您的初始嘗試仍然更好。）