haskell - Haskellで「fac」という用語は何を意味しますか?

Question

この用語facは Haskell で何を意味しますか? 私は何度もそれを見てきましたが、どのタイプであっても定義されていないようです。階乗と関係があることは知っていますが、人々がこの用語を参照するときに何を意味するのかはよくわかりませんfac。

次に例を示します。

sumFacs n = fac 0 + fac 1 + ... + fac (n-1) + fac n

Answer 1

通常fac、次のように定義できる階乗関数を指します。

fac :: Int -> Int
fac 0 = 1
fac n = n * fac (n - 1)

もちろん、Haskell で階乗を定義するにはさまざまな方法があります。

Answer 2

factorialの略です。