A saída de função de um nó de entrada ou operador trata o nó de entrada ou o nó de operador e todo o gráfico à esquerda dele como uma função. Nós de entrada não conectados nesse gráfico se tornam argumentos da função.
A entrada não conectada — x (qualquer) — torna-se um argumento da função.
A ordem dos argumentos da função é determinada pela ordem em que os conectores não conectados aparecem ao atravessar o gráfico usando uma travessia em profundidade. Em uma travessia em profundidade, os nós filho são acessados em ordem descendente de forma recursiva antes de o próprio nó ser acessado.
Tipos de função e "aridade"
O tipo de uma função é determinado pelo número de argumentos, tipo dos argumentos e tipo de retorno da função. O número de argumentos de uma função é chamado aridade da função. As funções com aridade de 3 ou menos têm nomes especiais:
- Função nulária: aridade 0
- Função unária: aridade 1
- Função binária: aridade 2
- Função ternária: aridade 3
Uma função com tipo de retorno booliano e aridade de zero ou mais também é denominada predicado.