他の関数の内部にネストした関数に対するWolfram Compilerのサポートは，再帰の実装に利用できる．
次は，Factorial関数の簡単な実装である．単一の整数を取り，自分自身を呼び出すネストした内部関数を含む．唯一の型注釈が入力引数であることに注目されたい．他のすべての型はWolfram Compilerによって決定される．
この関数は，用途がやや限定された関数の範囲内では，組込みのFactorial関数と比べても速度の上で引けを取らない．
