Compilação de uma função recursiva
O suporte do Wolfram Compiler para funções integradas dentro de outras funções pode ser usado para implementar recursões.
Segue abaixo uma implementação simples de uma função Factorial. Ela usa um único inteiro e contém uma função integrada que chama a si mesma. Observe como a única anotação de tipo é o argumento de entrada. Todos os outros tipos são determinados pelo Wolfram Compiler.
Dentro de seu escopo um tanto limitado, essa função é competitiva em velocidade com a função Factorial incorporada.