что означает термин "fac" в Haskell?

Question

Что означает термин fac в Хаскеле?Я видел это много раз, но, похоже, не было никакого определения бытия какого-либо типа.Я знаю, что это как-то связано с факториалами, но я не совсем уверен, что люди имеют в виду, когда ссылаются на термин 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

Это аббревиатура для факториал .